| Wed, 26 May 2021 18:07:49 +0200 | wenzelm | more robust syntax; | changeset | files |
| Tue, 25 May 2021 23:58:49 +0200 | wenzelm | unused; | changeset | files |
| Tue, 25 May 2021 23:37:32 +0200 | wenzelm | clarified document export names; | changeset | files |
| Tue, 25 May 2021 23:18:29 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 25 May 2021 23:12:46 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 25 May 2021 23:04:29 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 25 May 2021 23:00:29 +0200 | wenzelm | avoid former verbose_latex, which has been renamed to verbose in 52030acb19ac; | changeset | files |
| Tue, 25 May 2021 22:28:39 +0200 | wenzelm | compose Latex text as XML, output exported YXML in Isabelle/Scala; | changeset | files |