summaryrefslogtreecommitdiff
path: root/src/eval/library.rs
AgeCommit message (Collapse)Author
2023-05-11Remove 'static bound on `World`Laurenz
Thanks to improvements in comemo, tracked types don't need to be 'static anymore. This means that the 'static bound on the `World` is now lifted and that the `Route` doesn't need to use unsafe code anymore to manage its lifetime.
2023-05-03Add shorthand for root operation (#929)Marmare314
2023-04-26Touch up docsLaurenz
2023-04-25Support indices preceding the base symbol, revamping #699 (#825)Leedehai
Breaking change: abbreviate attach() attachment params, top -> t, bottom -> b
2023-04-17Write PDF outlineLaurenz
2023-04-04Disable clippy for specific lines (#503)Marek Barvíř
2023-03-27Fix enum parsing and allow zero in numberingsLaurenz
Fixes #353.
2023-03-19Renaming and refactoringLaurenz
2023-03-19Measurement and introspection reworkLaurenz
2023-03-18Rename formula to equationLaurenz
2023-03-17StateLaurenz
2023-03-17CountersLaurenz
2023-03-14Bibliography and citationsLaurenz
2023-03-14Reference supplementsLaurenz
2023-03-11Section referencesLaurenz
2023-03-11Autocompletion for raw language tagsLaurenz
2023-03-07Fully untyped modelLaurenz
2023-03-01Split up `model` moduleLaurenz