Laurenz
|
a5c88c19b3
|
Fix enum parsing and allow zero in numberings
Fixes #353.
|
2023-03-27 12:12:57 +02:00 |
Laurenz
|
ab43bd802e
|
Renaming and refactoring
|
2023-03-19 22:39:19 +01:00 |
Laurenz
|
0ba99ab8aa
|
Measurement and introspection rework
|
2023-03-19 10:19:34 +01:00 |
Laurenz
|
a69b587455
|
Rename formula to equation
|
2023-03-18 19:27:31 +01:00 |
Laurenz
|
c47e4cb496
|
State
|
2023-03-17 16:04:12 +01:00 |
Laurenz
|
312197b276
|
Counters
|
2023-03-17 11:45:57 +01:00 |
Laurenz
|
89f44f220d
|
Bibliography and citations
|
2023-03-14 22:53:54 +01:00 |
Laurenz
|
2a86e4db0b
|
Reference supplements
|
2023-03-14 22:34:43 +01:00 |
Laurenz
|
529d3e10c6
|
Section references
|
2023-03-11 18:29:48 +01:00 |
Laurenz
|
8e5f446544
|
Autocompletion for raw language tags
|
2023-03-11 11:46:12 +01:00 |
Laurenz
|
25b5bd1175
|
Fully untyped model
|
2023-03-07 15:17:13 +01:00 |
Laurenz
|
6ab7760822
|
Split up `model` module
|
2023-03-01 16:33:28 +01:00 |