7 Commits

Author SHA1 Message Date
Laurenz
145723b1ef
New context system (#3497) 2024-02-27 10:05:16 +00:00
Laurenz
7d33436e55
Fix show-set semantics (#3311) 2024-02-01 13:30:17 +00:00
frozolotl
e5470401f4
Fix has on non-inherent fields (#2745) 2023-11-24 11:41:38 +01:00
Leedehai
62361b4127
Support indices preceding the base symbol, revamping #699 (#825)
Breaking change: abbreviate attach() attachment params, top -> t, bottom -> b
2023-04-25 11:24:07 +02:00
Laurenz
ab43bd802e Renaming and refactoring 2023-03-19 22:39:19 +01:00
Laurenz
a69b587455 Rename formula to equation 2023-03-18 19:27:31 +01:00
Laurenz
a9fdff244a Expose content representation more 2023-03-10 21:19:50 +01:00