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;