| Fri, 03 Feb 2023 16:50:14 +0100 |
wenzelm |
avoid redundant SelectionChanged events;
|
changeset |
files
|
| 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
|
| 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
|
| Tue, 31 Jan 2023 19:50:58 +0100 |
wenzelm |
clarified GUIs: keep related buttons together;
|
changeset |
files
|
| Tue, 31 Jan 2023 19:43:45 +0100 |
wenzelm |
proper program name, e.g. for session "Intro";
|
changeset |
files
|
| Tue, 31 Jan 2023 19:27:02 +0100 |
wenzelm |
clarified GUI events: reset everything on session context switch;
|
changeset |
files
|
| Tue, 31 Jan 2023 18:03:27 +0100 |
wenzelm |
clarified GUI events: ensure fresh output when switching pages;
|
changeset |
files
|
| Tue, 31 Jan 2023 17:46:16 +0100 |
wenzelm |
clarified GUI: avoid odd jumping pages on "Cancel";
|
changeset |
files
|
| Tue, 31 Jan 2023 17:35:59 +0100 |
wenzelm |
clarified GUI events;
|
changeset |
files
|
| Tue, 31 Jan 2023 17:21:46 +0100 |
wenzelm |
more accurate output: avoid output_body from last run;
|
changeset |
files
|
| Tue, 31 Jan 2023 17:17:07 +0100 |
wenzelm |
more accurate output: avoid output_main from last run;
|
changeset |
files
|