Tue, 28 Sep 2021 16:01:13 +0200 | wenzelm | outer syntax: support for control-cartouche tokens; | file | diff | annotate |
Tue, 25 May 2021 22:28:39 +0200 | wenzelm | compose Latex text as XML, output exported YXML in Isabelle/Scala; | file | diff | annotate |
Fri, 21 May 2021 12:29:29 +0200 | wenzelm | clarified modules; | file | diff | annotate | base |