| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-04-04 | Disable clippy for specific lines (#503) | Marek Barvíř | |
| 2023-03-27 | Fix enum parsing and allow zero in numberings | Laurenz | |
| Fixes #353. | |||
| 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 | |
