5 Commits

Author SHA1 Message Date
Laurenz
55296a9196 Say which label occurs never or multiple times in error message 2023-10-30 23:00:40 +01:00
Laurenz
04bffc4f12 Reintroduce --root 2023-06-28 10:36:53 +02:00
Laurenz
f4fd6855e7 Fix and simplify reference supplements
- 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-22 20:56:30 +02:00
Chen
a066a3d283
More flexible capability to control showing reference (#646) 2023-04-13 10:41:42 +02:00
Laurenz
529d3e10c6 Section references 2023-03-11 18:29:48 +01:00