summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2022-12-20Document meta and data loading categoriesMartin Haug
2022-12-19Syntax and example sectionsLaurenz
2022-12-17Fix set rule autocomplete filterLaurenz
2022-12-17Document parameters in commentLaurenz
2022-12-15Reflection for castablesLaurenz
2022-12-14Basic autocompletionLaurenz
2022-12-14Hover tooltipsLaurenz
2022-12-14New macro setupLaurenz
2022-12-14Move highlighting into new IDE moduleLaurenz
2022-12-14Linked syntax nodeLaurenz
2022-12-14Detect infinite loopsLaurenz
2022-12-12Faster image renderingLaurenz
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-07Bump depsLaurenz
2022-12-07Vectors and casesLaurenz
2022-12-06Math shorthandsLaurenz
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-12-02Fix closure capturing bug with for loopsLaurenz
2022-11-30Memoize image size computationLaurenz
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 content a bit more compactLaurenz
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-24Separate typesetting and compilationLaurenz
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-22Scheduled maintenanceLaurenz