summaryrefslogtreecommitdiff
path: root/library/src
AgeCommit message (Collapse)Author
2022-12-20Document spacing and breaksMartin Haug
2022-12-20Some layout documentationMartin Haug
2022-12-20Document Utility funcs, some layout funcsMartin Haug
2022-12-20Document underline, strikethrough, and overlineLaurenz
2022-12-20Document text sub- and superscriptsLaurenz
2022-12-20Document foundationsLaurenz
2022-12-20DocumentationLaurenz
2022-12-20Document meta and data loading categoriesMartin Haug
2022-12-19Syntax and example sectionsLaurenz
2022-12-17Document parameters in commentLaurenz
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-16 23:22:57 +0000