| Wed, 01 Feb 2023 22:39:02 +0100 | wenzelm | clarified messages, notably for session "Intro"; | changeset | files |
| Wed, 01 Feb 2023 21:29:35 +0100 | wenzelm | merged | changeset | files |
| Wed, 01 Feb 2023 21:23:54 +0100 | wenzelm | more general program start message; | changeset | files |
| Wed, 01 Feb 2023 20:57:15 +0100 | wenzelm | clarified terminology of inlined "PROGRAM START" messages; | changeset | files |
| Wed, 01 Feb 2023 20:21:33 +0100 | wenzelm | isabelle update -u cite -l ""; | changeset | files |
| Wed, 01 Feb 2023 20:07:13 +0100 | wenzelm | less ambitious parallelism: avoid exhaustion of memory (40GB total); | changeset | files |
| Wed, 01 Feb 2023 15:39:48 +0100 | wenzelm | clarified GUI; | changeset | files |