Mon, 15 Nov 2021 11:38:14 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Sat, 13 Nov 2021 17:22:10 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
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 |