| Wed, 23 Dec 2020 23:19:09 +0100 | wenzelm | more robust defaults: spurious problems with parallel invocations and interrupts; | changeset | files |
| Wed, 23 Dec 2020 23:08:57 +0100 | wenzelm | more interrupts; | changeset | files |
| Wed, 23 Dec 2020 23:03:03 +0100 | wenzelm | avoid multiple uses of the same ML file; | changeset | files |
| Wed, 23 Dec 2020 22:25:22 +0100 | wenzelm | tuned document, notably authors and sections; | changeset | files |
| Wed, 23 Dec 2020 21:32:24 +0100 | wenzelm | clarified presentation of files for each theory; | changeset | files |
| Wed, 23 Dec 2020 21:15:21 +0100 | wenzelm | disable auto_nitpick for now: spurious problems with non-termination e.g. in HOL-Hoare examples; | changeset | files |
| Wed, 23 Dec 2020 21:06:31 +0100 | wenzelm | clarified modules: avoid multiple uses of the same ML file; | changeset | files |