| 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 |