Thu, 02 Feb 2023 12:55:07 +0000 More of Manuel's material, and some changes default tip
paulson <lp15@cam.ac.uk> [Thu, 02 Feb 2023 12:55:07 +0000] rev 77179
More of Manuel's material, and some changes
Wed, 01 Feb 2023 23:02:59 +0100 less verbosity by default, notably for regular "isabelle build -o document";
wenzelm [Wed, 01 Feb 2023 23:02:59 +0100] rev 77178
less verbosity by default, notably for regular "isabelle build -o document";
Wed, 01 Feb 2023 22:54:48 +0100 clarified message: old-style log is usually empty;
wenzelm [Wed, 01 Feb 2023 22:54:48 +0100] rev 77177
clarified message: old-style log is usually empty;
Wed, 01 Feb 2023 22:39:02 +0100 clarified messages, notably for session "Intro";
wenzelm [Wed, 01 Feb 2023 22:39:02 +0100] rev 77176
clarified messages, notably for session "Intro";
Wed, 01 Feb 2023 21:29:35 +0100 merged
wenzelm [Wed, 01 Feb 2023 21:29:35 +0100] rev 77175
merged
Wed, 01 Feb 2023 21:23:54 +0100 more general program start message;
wenzelm [Wed, 01 Feb 2023 21:23:54 +0100] rev 77174
more general program start message; progress on "Creating directory";
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 tip