| 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
|
| Sat, 11 Mar 2023 11:36:18 +0100 |
wenzelm |
unused (see 268bf61631ec);
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 11:31:58 +0100 |
wenzelm |
clarified exported options;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 11:24:02 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 11:13:53 +0100 |
wenzelm |
support option tags;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2023 16:15:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2023 13:15:41 +0100 |
wenzelm |
more robust options in "prefs" format: avoid odd control character;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 12:40:40 +0100 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Tue, 06 Dec 2022 16:26:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 17:18:45 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 16:24:14 +0200 |
wenzelm |
clarified signature --- avoid dependent types;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 16:12:22 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 15:41:12 +0200 |
wenzelm |
clarified signature: avoid public representation;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 15:09:10 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 15:06:23 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 04 Apr 2022 23:33:14 +0200 |
wenzelm |
clarified signature: avoid ambiguity in scala3;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Sun, 21 Nov 2021 17:42:11 +0100 |
wenzelm |
clarified system option standard values: avoid oddities like "isabelle build -o document_output" producing directories named "true";
|
file |
diff |
annotate
|
| Thu, 12 Aug 2021 13:14:49 +0200 |
wenzelm |
proper prover_options for batch-build;
|
file |
diff |
annotate
|
| Mon, 07 Jun 2021 11:42:05 +0200 |
wenzelm |
allow system option short form NAME for NAME=true for type string, not just bool;
|
file |
diff |
annotate
|
| Sat, 05 Jun 2021 21:01:00 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 17 May 2021 14:07:51 +0200 |
wenzelm |
clarified signature -- avoid odd warning about scala/bug#6675;
|
file |
diff |
annotate
|
| Mon, 17 May 2021 13:40:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Wed, 20 Jan 2021 21:42:04 +0100 |
wenzelm |
proper message;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2018 16:14:31 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 26 Sep 2018 22:38:16 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 26 Sep 2018 22:07:35 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2018 12:44:17 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 13 Mar 2018 18:40:25 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 13 Mar 2018 17:15:01 +0100 |
wenzelm |
more flexible preferences: avoid hardwired file;
|
file |
diff |
annotate
|
| Sun, 10 Dec 2017 20:29:00 +0100 |
wenzelm |
avoid println with its extra CR on Windows;
|
file |
diff |
annotate
|
| Sat, 04 Nov 2017 17:11:21 +0100 |
wenzelm |
clarified lazy Completion within Outer_Syntax: measurable speedup of Sessions.deps;
|
file |
diff |
annotate
|
| Wed, 01 Nov 2017 21:02:16 +0100 |
wenzelm |
init only once (see also c0f776b661fa);
|
file |
diff |
annotate
|
| Sat, 16 Sep 2017 16:19:34 +0200 |
wenzelm |
proper tool name (cf. c1410bcf6e87);
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 19:46:53 +0100 |
wenzelm |
afford early initialization of JEdit_Options, but it may lead to messy exception trace for malformed etc/preferences (see also 6eeaaefcea56);
|
file |
diff |
annotate
|