| 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
|
| Wed, 01 Feb 2023 13:50:53 +0100 |
wenzelm |
clarified GUI: omit pointless search buttons, as real output is shown as markup;
|
changeset |
files
|
| Wed, 01 Feb 2023 10:54:29 +0100 |
wenzelm |
more uniform use of Symbol.output, even in situations where its Symbol.encode is usually redundant;
|
changeset |
files
|
| Wed, 01 Feb 2023 12:43:39 +0000 |
paulson |
merged
|
changeset |
files
|
| Wed, 01 Feb 2023 12:43:33 +0000 |
paulson |
More new material thanks to Manuel
|
changeset |
files
|
| Wed, 01 Feb 2023 09:14:40 +0100 |
nipkow |
merged
|
changeset |
files
|
| Wed, 01 Feb 2023 09:14:26 +0100 |
nipkow |
tuning
|
changeset |
files
|
| Tue, 31 Jan 2023 23:17:44 +0100 |
wenzelm |
alternate AFP tests on lrzcloud2, to fit better into one day;
|
changeset |
files
|
| Tue, 31 Jan 2023 20:44:35 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 31 Jan 2023 20:37:46 +0100 |
wenzelm |
support document preparation from already loaded theories;
|
changeset |
files
|
| Tue, 31 Jan 2023 20:09:03 +0100 |
wenzelm |
clarified GUI events;
|
changeset |
files
|