| Sat, 07 Dec 2024 11:59:51 +0100 | wenzelm | clarified GUI: prefer user documents, which are typically without chapter; | file | diff | annotate |
| Mon, 16 Sep 2024 15:49:36 +0200 | wenzelm | discontinued "isabelle build -k": superseded by admin-tool "isabelle check_keywords"; | file | diff | annotate |
| Sat, 25 May 2024 12:09:37 +0200 | wenzelm | clarified signature (see also be0ab4b94c62 and c41791ad75c3); | file | diff | annotate |
| Wed, 17 Apr 2024 21:20:31 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| 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"; | file | diff | annotate |
| Thu, 28 Mar 2024 16:27:36 +0100 | wenzelm | clarified modules: more official Sessions.notable_groups; | file | diff | annotate |
| Sat, 20 Jan 2024 15:07:41 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |