| 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 |