| Sat, 22 Mar 2025 13:54:18 +0100 |
wenzelm |
clarified signature: more explicit type Sessions.Conditions;
|
file |
diff |
annotate
|
| Wed, 12 Feb 2025 14:28:32 +0100 |
wenzelm |
tuned signature: more explicit operations;
|
file |
diff |
annotate
|
| Wed, 12 Feb 2025 00:40:57 +0100 |
wenzelm |
removed unused imports;
|
file |
diff |
annotate
|
| 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
|