| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-04-26 | Touch up docs | Laurenz |
| 2023-04-25 | Support indices preceding the base symbol, revamping #699 (#825) | Leedehai |
| 2023-04-17 | Write PDF outline | Laurenz |
| 2023-04-04 | Disable clippy for specific lines (#503) | Marek Barvíř |
| 2023-03-27 | Fix enum parsing and allow zero in numberings | Laurenz |
| 2023-03-19 | Renaming and refactoring | Laurenz |
| 2023-03-19 | Measurement and introspection rework | Laurenz |
| 2023-03-18 | Rename formula to equation | Laurenz |
| 2023-03-17 | State | Laurenz |
| 2023-03-17 | Counters | Laurenz |
| 2023-03-14 | Bibliography and citations | Laurenz |
| 2023-03-14 | Reference supplements | Laurenz |
| 2023-03-11 | Section references | Laurenz |
| 2023-03-11 | Autocompletion for raw language tags | Laurenz |
| 2023-03-07 | Fully untyped model | Laurenz |
| 2023-03-01 | Split up `model` module | Laurenz |
