| Thu, 09 Dec 2021 08:32:29 +0100 | nipkow | Rewrite: added links to docu, made more prominent | changeset | files |
| Mon, 06 Dec 2021 15:34:54 +0100 | wenzelm | discontinued old-style {* verbatim *} tokens; | changeset | files |
| Mon, 06 Dec 2021 15:10:15 +0100 | wenzelm | tuned proof; | changeset | files |
| Mon, 06 Dec 2021 12:39:59 +0100 | wenzelm | isabelle update_cartouches; | changeset | files |
| Sun, 05 Dec 2021 20:17:17 +0100 | wenzelm | more symbolic latex_output via XML (using YXML within text); | changeset | files |
| Sun, 05 Dec 2021 16:46:50 +0100 | wenzelm | tuned signature: remove unused; | changeset | files |
| Sun, 05 Dec 2021 16:26:03 +0100 | wenzelm | prefer symbolic Latex.environment (typeset in Isabelle/Scala); | changeset | files |
| Sun, 05 Dec 2021 15:54:46 +0100 | wenzelm | tuned signature; | changeset | files |