| Thu, 15 May 2025 22:55:29 +0200 |
wenzelm |
explicit support for dark GUI themes in Isabelle/jEdit;
|
file |
diff |
annotate
|
| Wed, 02 Oct 2024 10:51:11 +0200 |
Fabian Huch |
clarified: add operation;
|
file |
diff |
annotate
|
| Wed, 12 Jun 2024 20:44:10 +0200 |
Thomas Lindae |
added vscode options tag;
|
file |
diff |
annotate
|
| 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
|