| Wed, 19 May 2021 13:19:37 +0200 | wenzelm | explicit option document_bibliography; | changeset | files |
| Wed, 19 May 2021 12:53:51 +0200 | wenzelm | proper bibliography; | changeset | files |
| Wed, 19 May 2021 13:00:42 +0200 | wenzelm | discontinued obsolete "isabelle latex"; | changeset | files |