summaryrefslogtreecommitdiff
path: root/library/src/meta/reference.rs
AgeCommit message (Collapse)Author
2023-06-30Minor improvementsLaurenz
2023-06-27Basic package managementLaurenz
2023-06-26Make footnotes referenceable (#1546)MALO
2023-06-24Tidy upLaurenz
2023-06-24Use third person in documentation (#1560)MALO
2023-06-24Add infrastructure to enrich errors with hints (#1486)Mathias Fischler
2023-06-12Delayed errorsLaurenz
Fixes #785. Thanks to @Dherse for the idea!
2023-06-12Resolve #1141: Add hint for missing numbering, improve hint format ↵Mathias Fischler
consistency (#1456)
2023-06-12Fix a bunch of typos + broken link (#1453)Alex Saveau
2023-06-06Improve value casting infrastructureLaurenz
2023-05-22Fix and simplify reference supplementsLaurenz
- Fixes #873 by properly handling `none` supplement for`ref`. - Fixes #523 by adding a `supplement` parameter to `math.equation` - In the future, we can remove supplement functions in favor of show-set rules with fine-grained selectors. Currently, this is not possible because show-set + synthesis doesn't play well together
2023-05-19Doc links for function scopesLaurenz
2023-05-17Better documentation outlinesLaurenz
2023-05-11Documentation fixesLaurenz
2023-05-11More efficient introspectionLaurenz
Switches from a mutable locator to one based on tracked chains and optimizes query performance.
2023-04-26Touch up docsLaurenz
2023-04-26Allow passing `region` to LocalName (#926)pan93412
2023-04-23Add instrumentation (Part 1) (#761)Sébastien d'Herbais de Thun
2023-04-19fix ref->cite span (#811)Pg Biel
2023-04-13More flexible capability to control showing reference (#646)Chen
2023-04-11Fix heading supplementLaurenz
Fixes #730
2023-04-04Refactor and document figuresLaurenz
2023-04-04Improved figure numbering, labelling and referencing (#491)Sébastien d'Herbais de Thun
2023-04-01Needless clone, borrows, casts and lifetimes (#504)Marek Barvíř
2023-03-29Link to labelLaurenz
2023-03-22Fix typos (#115)Kian-Meng Ang
Found via `codespell -S target -L crate,ist,thi,alle,dedented,ue,tung,nd,ende,overriden,dependant`
2023-03-20Documentation for citation, bibliography, and contentLaurenz
2023-03-19Renaming and refactoringLaurenz
2023-03-19Measurement and introspection reworkLaurenz
2023-03-17Hover and autocomplete in show rulesLaurenz
2023-03-17StateLaurenz
2023-03-17CountersLaurenz
2023-03-15Node linksLaurenz
2023-03-15Simplify stable id handlingLaurenz
2023-03-14Bibliography and citationsLaurenz
2023-03-14Reference supplementsLaurenz
2023-03-13Locatability and synthesis improvementsLaurenz
2023-03-11FiguresLaurenz
2023-03-11Section referencesLaurenz
2023-03-10Expose content representation moreLaurenz
2023-03-10New #[func] macroLaurenz
2023-03-07Fully untyped modelLaurenz
2023-03-01Bump `ecow`Laurenz
2023-02-06Make Rust happier about the inline documentationLaurenz
2022-12-20DocumentationLaurenz
2022-12-20Document meta and data loading categoriesMartin Haug
2022-12-17Document parameters in commentLaurenz
2022-12-15Reflection for castablesLaurenz
2022-12-14New macro setupLaurenz
2022-12-05Make show rule fallible againLaurenz