summaryrefslogtreecommitdiff
path: root/library/src
AgeCommit message (Expand)Author
2022-12-15Reflection for castablesLaurenz
2022-12-14New macro setupLaurenz
2022-12-14Move highlighting into new IDE moduleLaurenz
2022-12-09A few math fixesLaurenz
2022-12-09Align set ruleLaurenz
2022-12-08Naming consistencyLaurenz
2022-12-08Copyable regionsLaurenz
2022-12-07Extend math libraryLaurenz
2022-12-07Vectors and casesLaurenz
2022-12-06More math syntaxLaurenz
2022-12-05Symbol notationLaurenz
2022-12-05Make show rule fallible againLaurenz
2022-12-05Small improvementsLaurenz
2022-12-02Heading numbering and outlineLaurenz
2022-12-02Multi-part numbering patternsLaurenz
2022-12-02IntrospectionLaurenz
2022-12-02Introduce virtual typesetterLaurenz
2022-11-30Fix auto column shrinking behaviourLaurenz
2022-11-29Strong deltaLaurenz
2022-11-29Reorganize library and testsLaurenz
2022-11-28Widow and orphan preventionLaurenz
2022-11-28FragmentsLaurenz
2022-11-27Switch `StrResult` to `EcoString`Laurenz
2022-11-26Document metadataLaurenz
2022-11-26Reorganize library baseLaurenz
2022-11-26Make text and space nodes unselectableLaurenz
2022-11-26Dynamic labelsLaurenz
2022-11-26Extract numbering pattern from list nodeLaurenz
2022-11-25Tidy upLaurenz
2022-11-24Protect VmLaurenz
2022-11-23Introduce `Library`Laurenz
2022-11-23More general evaluation interfaceLaurenz
2022-11-23Bring building a bit closer to realizeLaurenz
2022-11-22More sensible `LayoutRoot`Laurenz
2022-11-22Reorganize content typeLaurenz
2022-11-21Don't display functionsLaurenz
2022-11-21LabelsLaurenz
2022-11-21Move destination property from text to linkLaurenz
2022-11-21Refactor proc macrosLaurenz
2022-11-20Add flag for model printingLaurenz
2022-11-20Refactor buildingLaurenz
2022-11-19Rename `margins` to `margin`Laurenz
2022-11-19Rename `RawKind` to `RawFields`Laurenz
2022-11-19Show everything!Laurenz
2022-11-18Pass text node to text show rule instead of stringLaurenz
2022-11-18Reorganize style moduleLaurenz
2022-11-18Remove `Target` enumLaurenz
2022-11-17Simplify layout_inline's signatureLaurenz
2022-11-17Handle paragraph indent at a later stageLaurenz
2022-11-12New interaction modelLaurenz
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-15 18:31:17 +0000