summaryrefslogtreecommitdiff
path: root/src/syntax
AgeCommit message (Expand)Author
2022-12-30Recursion with max depthLaurenz
2022-12-22Rename `desc` to `terms`Laurenz
2022-12-21Split up list type into three separate types and document themLaurenz
2022-12-20Document Utility funcs, some layout funcsMartin Haug
2022-12-17Document parameters in commentLaurenz
2022-12-15Reflection for castablesLaurenz
2022-12-14Move highlighting into new IDE moduleLaurenz
2022-12-14Linked syntax nodeLaurenz
2022-12-09A few math fixesLaurenz
2022-12-09Align set ruleLaurenz
2022-12-06Math shorthandsLaurenz
2022-12-06More math syntaxLaurenz
2022-12-05Symbol notationLaurenz
2022-12-02Multi-part numbering patternsLaurenz
2022-11-26Dynamic labelsLaurenz
2022-11-23More general evaluation interfaceLaurenz
2022-11-22Rename two syntax typesLaurenz
2022-11-22Make inner node and node data privateLaurenz
2022-11-21Show with setLaurenz
2022-11-20Ignore linebreak directly after markup statementLaurenz
2022-11-19Rename `RawKind` to `RawFields`Laurenz
2022-11-07SelectorsLaurenz
2022-11-07Show it!Laurenz
2022-11-04Style changesLaurenz
2022-11-03Split cratesLaurenz
2022-10-28Refactor `geom` moduleLaurenz
2022-10-17Merge some modulesLaurenz
2022-10-17More spans in ASTLaurenz
2022-10-05Remove `SpanPos` in favor of `ErrorPos`Laurenz
2022-10-05Refactor syntax moduleLaurenz
2022-10-04Parse basic math syntaxLaurenz
2022-09-27Refresh TextMate grammarLaurenz
2022-09-26Description lists, link syntax, and new enum syntaxLaurenz
2022-09-21Tracked memoizationLaurenz
2022-09-20Refactor error handlingLaurenz
2022-09-20A New WorldLaurenz
2022-09-19RenamingLaurenz
2022-09-07[WIP] Label and reference syntaxLaurenz
2022-07-26Fix highlighting bugsLaurenz
2022-06-14Many fixesLaurenz
2022-06-10Bump dependenciesLaurenz
2022-06-01Switch bounded condition, delete `only_at_start`Martin Haug
2022-06-01Refine `ahead_nontrivia` searchMartin Haug
2022-06-01DocumentationLaurenz
2022-06-01Incremental renumberingLaurenz
2022-05-31Enforce and make use of span orderingLaurenz
2022-05-31Numbered spansLaurenz
2022-05-31Remove green/red distinctionLaurenz
2022-05-20More highlighting APILaurenz
2022-05-19Simplify `only_in_mode` to `only_in_markup`Laurenz