| Wed, 11 Nov 2020 23:06:27 +0100 | wenzelm | more interrupts; | changeset | files |
| Wed, 11 Nov 2020 22:30:00 +0100 | wenzelm | merged | changeset | files |
| Wed, 11 Nov 2020 22:20:57 +0100 | wenzelm | clarified build_doc, based on Present.build_documents; | changeset | files |
| Wed, 11 Nov 2020 21:09:56 +0100 | wenzelm | obsolete, build happens in clean tmp_dir; | changeset | files |
| Wed, 11 Nov 2020 21:06:52 +0100 | wenzelm | redundant, see prepare_dir; | changeset | files |
| Wed, 11 Nov 2020 21:04:22 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 11 Nov 2020 21:00:14 +0100 | wenzelm | build documents in Isabelle/Scala, based on generated tex files as session exports; | changeset | files |