wenzelm [Fri, 03 Feb 2023 14:10:09 +0100] rev 77180
more robust on Windows, where C:\\ and \\SERVER\SHARE cause problems (line 920 of winbasicio.cpp);
paulson <lp15@cam.ac.uk> [Thu, 02 Feb 2023 12:55:07 +0000] rev 77179
More of Manuel's material, and some changes
wenzelm [Wed, 01 Feb 2023 23:02:59 +0100] rev 77178
less verbosity by default, notably for regular "isabelle build -o document";
wenzelm [Wed, 01 Feb 2023 22:54:48 +0100] rev 77177
clarified message: old-style log is usually empty;
wenzelm [Wed, 01 Feb 2023 22:39:02 +0100] rev 77176
clarified messages, notably for session "Intro";
wenzelm [Wed, 01 Feb 2023 21:29:35 +0100] rev 77175
merged
wenzelm [Wed, 01 Feb 2023 21:23:54 +0100] rev 77174
more general program start message;
progress on "Creating directory";
wenzelm [Wed, 01 Feb 2023 20:57:15 +0100] rev 77173
clarified terminology of inlined "PROGRAM START" messages;
wenzelm [Wed, 01 Feb 2023 20:21:33 +0100] rev 77172
isabelle update -u cite -l "";
wenzelm [Wed, 01 Feb 2023 20:07:13 +0100] rev 77171
less ambitious parallelism: avoid exhaustion of memory (40GB total);
wenzelm [Wed, 01 Feb 2023 15:39:48 +0100] rev 77170
clarified GUI;
wenzelm [Wed, 01 Feb 2023 13:50:53 +0100] rev 77169
clarified GUI: omit pointless search buttons, as real output is shown as markup;
wenzelm [Wed, 01 Feb 2023 10:54:29 +0100] rev 77168
more uniform use of Symbol.output, even in situations where its Symbol.encode is usually redundant;
paulson [Wed, 01 Feb 2023 12:43:39 +0000] rev 77167
merged