src/Pure/Build/sessions.scala
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