summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2023-03-21Fix typoLaurenz
2023-03-21Documentation changesv23-03-21Laurenz
2023-03-21Fix show rule colon error messageLaurenz
2023-03-21Fix crash for jump to outdated spanLaurenz
2023-03-21More math shorthandsLaurenz
2023-03-21Bump dependenciesLaurenz
2023-03-21Release actionLaurenz
2023-03-21A few tutorial improvementsLaurenz
2023-03-20Documentation for citation, bibliography, and contentLaurenz
2023-03-20Documentation for measure, locate, and styleLaurenz
2023-03-20Documentation for queryLaurenz
2023-03-20Documentation for stateLaurenz
2023-03-20Documentation for countersLaurenz
2023-03-20Write changelogLaurenz
2023-03-19Document `Location` fieldsLaurenz
2023-03-19More efficient function representationLaurenz
2023-03-19Renaming and refactoringLaurenz
2023-03-19Fix font embedding bugsLaurenz
2023-03-19Measurement and introspection reworkLaurenz
2023-03-18Equation numberingLaurenz
2023-03-18Rename formula to equationLaurenz
2023-03-18Architecture descriptionLaurenz
2023-03-18Fix hover tooltip value collapsingLaurenz
2023-03-18Attach parameter list span to functionLaurenz
2023-03-18Fix page counterLaurenz
2023-03-18Readme and licenseLaurenz
2023-03-17Make parameters traceableLaurenz
2023-03-17Methods for page and location on queried contentLaurenz
2023-03-17Hover and autocomplete in show rulesLaurenz
2023-03-17QueryLaurenz
2023-03-17StateLaurenz
2023-03-17CountersLaurenz
2023-03-17More jump targetsLaurenz
2023-03-15Node linksLaurenz
2023-03-15Simplify stable id handlingLaurenz
2023-03-14Bibliography and citationsLaurenz
2023-03-14Reference supplementsLaurenz
2023-03-14Allow keywords as fieldsLaurenz
2023-03-14Hanging indentLaurenz
2023-03-13Locatability and synthesis improvementsLaurenz
2023-03-13Derive `Cast` for enumsLaurenz
2023-03-13More accurate logarithm for base 2 and 10Laurenz
2023-03-13Fix font tooltipLaurenz
2023-03-12Make figure block unbreakableLaurenz
2023-03-12Don't set none fields for syntax-created nodesLaurenz
2023-03-12Consider glyph side when determining cursor positionLaurenz
2023-03-12Jump to destinationLaurenz
2023-03-12Spans in mathLaurenz
2023-03-12Merge branch 'main' into ngMartin Haug
2023-03-11Jump to source and previewLaurenz