| Fri, 03 Feb 2023 16:24:46 +0100 |
wenzelm |
more logging;
|
changeset |
files
|
| Fri, 03 Feb 2023 14:29:07 +0100 |
wenzelm |
proper symbolic handle on component resources:
|
changeset |
files
|
| Fri, 03 Feb 2023 14:10:09 +0100 |
wenzelm |
more robust on Windows, where C:\\ and \\SERVER\SHARE cause problems (line 920 of winbasicio.cpp);
|
changeset |
files
|
| Thu, 02 Feb 2023 12:55:07 +0000 |
paulson |
More of Manuel's material, and some changes
|
changeset |
files
|
| Wed, 01 Feb 2023 23:02:59 +0100 |
wenzelm |
less verbosity by default, notably for regular "isabelle build -o document";
|
changeset |
files
|
| Wed, 01 Feb 2023 22:54:48 +0100 |
wenzelm |
clarified message: old-style log is usually empty;
|
changeset |
files
|
| 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
|
| 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
|