| Sat, 17 Feb 2024 21:26:00 +0100 |
wenzelm |
more robust default: Scala imposes explicit "threads" value on ML, both the Poly/ML RTS and Isabelle/ML;
|
file |
diff |
annotate
|
| Sat, 17 Feb 2024 21:21:00 +0100 |
wenzelm |
clarified signature: more explicit types/scopes;
|
file |
diff |
annotate
|
| Wed, 24 Jan 2024 17:30:49 +0100 |
Fabian Huch |
add build_sync tag to sync certain options (e.g., build_engine) across build processes;
|
file |
diff |
annotate
|
| Wed, 08 Nov 2023 13:14:59 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 08 Nov 2023 13:00:24 +0100 |
wenzelm |
more accurate treatment of surrounding whitespace;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2023 15:59:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2023 12:06:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2023 12:02:34 +0100 |
wenzelm |
proper Option.Spec.toString for bash script: avoid Token.quote_name of Options.Spec.print_value (amending 3d1746a716fa, see also 39f6f180008d);
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 18:17:04 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 22 Aug 2023 10:05:03 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 22 Aug 2023 09:39:37 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 15:54:08 +0200 |
wenzelm |
more robust command options;
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 15:40:02 +0200 |
wenzelm |
more operations for independent "inline" options;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2023 22:00:06 +0100 |
wenzelm |
proper sorting of result (amending f458547b4f0f);
|
file |
diff |
annotate
|
| Mon, 13 Mar 2023 15:53:31 +0100 |
wenzelm |
clarified signature: prefer explicit types;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2023 15:09:08 +0100 |
wenzelm |
clarified signature: more explicit type Options.Spec, which incorporates all variants of Options.+;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2023 13:46:36 +0100 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2023 13:43:25 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2023 13:20:35 +0100 |
wenzelm |
clarified signature: prefer static types;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2023 11:02:26 +0100 |
wenzelm |
clarified signature (again, see also 8c64e51d9dde and 268bf61631ec);
|
file |
diff |
annotate
|
| Mon, 13 Mar 2023 10:51:10 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 16:11:26 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 14:49:53 +0100 |
wenzelm |
support "isabelle options -l -t TAGS";
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 14:18:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 13:37:58 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 13:31:16 +0100 |
wenzelm |
avoid hard-wired stuff (see also 78f2475aa126);
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 12:48:37 +0100 |
wenzelm |
clarified tags;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 12:41:53 +0100 |
wenzelm |
clarified session prefs (or "options" within the database);
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 11:51:19 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 11:43:47 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|