src/Pure/Build/sessions.scala
Sat, 22 Mar 2025 13:54:18 +0100 wenzelm clarified signature: more explicit type Sessions.Conditions;
Wed, 12 Feb 2025 14:28:32 +0100 wenzelm tuned signature: more explicit operations;
Wed, 12 Feb 2025 00:40:57 +0100 wenzelm removed unused imports;
Sat, 07 Dec 2024 11:59:51 +0100 wenzelm clarified GUI: prefer user documents, which are typically without chapter;
Mon, 16 Sep 2024 15:49:36 +0200 wenzelm discontinued "isabelle build -k": superseded by admin-tool "isabelle check_keywords";
Sat, 25 May 2024 12:09:37 +0200 wenzelm clarified signature (see also be0ab4b94c62 and c41791ad75c3);
Wed, 17 Apr 2024 21:20:31 +0200 wenzelm clarified signature;
Mon, 01 Apr 2024 14:36:28 +0200 wenzelm clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that "very_slow" is normally used together with "slow";
Thu, 28 Mar 2024 16:27:36 +0100 wenzelm clarified modules: more official Sessions.notable_groups;
Sat, 20 Jan 2024 15:07:41 +0100 wenzelm clarified directories;
less more (0) tip