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
|
Thu, 13 Oct 2016 11:54:06 +0200 |
wenzelm |
support for separate sub-system options, independent of main Isabelle options;
|
file |
diff |
annotate
|
Tue, 11 Oct 2016 21:25:10 +0200 |
wenzelm |
tuned -- Date.Format.default used by toString;
|
file |
diff |
annotate
|
Sun, 09 Oct 2016 14:19:46 +0200 |
wenzelm |
modernized;
|
file |
diff |
annotate
|
Mon, 05 Sep 2016 22:09:52 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 11 Jul 2016 16:36:29 +0200 |
wenzelm |
explicit kind "before_command";
|
file |
diff |
annotate
|
Wed, 13 Apr 2016 17:00:02 +0200 |
wenzelm |
clarified syntax;
|
file |
diff |
annotate
|
Sun, 03 Apr 2016 22:36:11 +0200 |
wenzelm |
prefer internal tool;
|
file |
diff |
annotate
|
Sun, 28 Feb 2016 17:40:01 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 27 Feb 2016 19:47:53 +0100 |
wenzelm |
moved getopts to Scala;
|
file |
diff |
annotate
|
Thu, 21 Jan 2016 20:50:34 +0100 |
wenzelm |
clarified errors: more explicit treatment of uninitialized state;
|
file |
diff |
annotate
|
Thu, 05 Nov 2015 00:02:30 +0100 |
wenzelm |
symbolic syntax "\<comment> text";
|
file |
diff |
annotate
|
Sun, 03 May 2015 00:01:10 +0200 |
wenzelm |
misc tuning, based on warnings by IntelliJ IDEA;
|
file |
diff |
annotate
|
Sat, 18 Apr 2015 23:43:30 +0200 |
wenzelm |
clarified keywords for quasi-command spans and Sidekick structure;
|
file |
diff |
annotate
|
Wed, 25 Mar 2015 13:45:52 +0100 |
wenzelm |
clarified position;
|
file |
diff |
annotate
|
Sun, 15 Mar 2015 20:35:47 +0100 |
wenzelm |
clarified span position;
|
file |
diff |
annotate
|
Sat, 14 Mar 2015 16:56:11 +0100 |
wenzelm |
position parser as in ML;
|
file |
diff |
annotate
|
Wed, 03 Dec 2014 14:04:38 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 13 Nov 2014 23:45:15 +0100 |
wenzelm |
uniform treatment of all document markup commands: 'text' and 'txt' merely differ in LaTeX style;
|
file |
diff |
annotate
|
Wed, 05 Nov 2014 22:17:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 15:27:37 +0100 |
wenzelm |
uniform heading commands work in any context, even in theory header;
|
file |
diff |
annotate
|
Fri, 02 May 2014 20:01:45 +0200 |
wenzelm |
prefer scala.Console with its support for thread-local redirection;
|
file |
diff |
annotate
|
Tue, 22 Apr 2014 12:30:54 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 17 Apr 2014 10:54:10 +0200 |
wenzelm |
capitalize more carefully, e.g. relevant for option "ML_exception_trace";
|
file |
diff |
annotate
|
Wed, 16 Apr 2014 11:52:26 +0200 |
wenzelm |
more specific support for sequence of words;
|
file |
diff |
annotate
|
Wed, 16 Apr 2014 09:38:40 +0200 |
wenzelm |
tuned signature -- separate module Word;
|
file |
diff |
annotate
|
Sun, 13 Apr 2014 16:42:44 +0200 |
wenzelm |
added dictionaries_selector GUI;
|
file |
diff |
annotate
|
Sat, 12 Apr 2014 21:38:38 +0200 |
wenzelm |
some case-mangling;
|
file |
diff |
annotate
|
Tue, 08 Apr 2014 14:15:48 +0200 |
wenzelm |
more positions and markup;
|
file |
diff |
annotate
|
Thu, 20 Feb 2014 14:36:17 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
Tue, 29 Oct 2013 16:52:25 +0100 |
wenzelm |
clarified isabelle options -l;
|
file |
diff |
annotate
|
Fri, 30 Aug 2013 22:22:07 +0200 |
wenzelm |
more general backup files;
|
file |
diff |
annotate
|
Sat, 27 Jul 2013 17:34:56 +0200 |
wenzelm |
clarified meaning of options for "isabelle options";
|
file |
diff |
annotate
|
Sat, 27 Jul 2013 16:59:25 +0200 |
wenzelm |
support isabelle options -g;
|
file |
diff |
annotate
|
Sat, 18 May 2013 12:41:31 +0200 |
wenzelm |
explicit notion of public options, which are shown in the editor options dialog;
|
file |
diff |
annotate
|
Sun, 12 May 2013 17:56:53 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
Thu, 04 Apr 2013 18:44:22 +0200 |
wenzelm |
more conventional synchronized access to Options_Variable -- avoid Swing_Thread getting in the way, which might be absent in some environments (e.g. SWT);
|
file |
diff |
annotate
|
Mon, 14 Jan 2013 22:24:57 +0100 |
wenzelm |
Isabelle_System.mkdirs with explicit error checking (in accordance to ML version), e.g. relevant with read-only DMG file-system on Mac OS X;
|
file |
diff |
annotate
|
Wed, 09 Jan 2013 21:21:41 +0100 |
wenzelm |
create required PREFS_DIR;
|
file |
diff |
annotate
|
Fri, 30 Nov 2012 21:30:24 +0100 |
wenzelm |
renamed dockable "Prover Session" to "Theories";
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 21:23:20 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 20 Oct 2012 15:46:48 +0200 |
wenzelm |
more explicit auxiliary classes to avoid warning "reflective access of structural type member method" of scala-2.10.0-RC1;
|
file |
diff |
annotate
|
Tue, 11 Sep 2012 23:26:03 +0200 |
wenzelm |
some GUI support for color options;
|
file |
diff |
annotate
|
Tue, 11 Sep 2012 22:59:25 +0200 |
wenzelm |
more precise sections;
|
file |
diff |
annotate
|
Tue, 11 Sep 2012 19:35:21 +0200 |
wenzelm |
more informative tooltip: default value;
|
file |
diff |
annotate
|
Tue, 11 Sep 2012 15:47:42 +0200 |
wenzelm |
some support to organize options in sections;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 19:49:30 +0200 |
wenzelm |
more detailed option tooltip;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 17:13:17 +0200 |
wenzelm |
more systematic JEdit_Options.make_component;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 15:20:50 +0200 |
wenzelm |
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
|
file |
diff |
annotate
|
Wed, 29 Aug 2012 11:48:45 +0200 |
wenzelm |
renamed Position.str_of to Position.here;
|
file |
diff |
annotate
|
Sun, 19 Aug 2012 19:31:45 +0200 |
wenzelm |
retain unknown options within preferences;
|
file |
diff |
annotate
|
Tue, 14 Aug 2012 20:50:50 +0200 |
wenzelm |
some support for persistent user preferences;
|
file |
diff |
annotate
|
Tue, 14 Aug 2012 13:01:09 +0200 |
wenzelm |
clarified format of etc/options: only declarations, not re-definitions;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 22:25:17 +0200 |
wenzelm |
more structural parsing for minor modes;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 20:28:35 +0200 |
wenzelm |
more token markers, based on actual outer syntax;
|
file |
diff |
annotate
|
Mon, 06 Aug 2012 16:05:29 +0200 |
wenzelm |
"isabelle options" prints Isabelle system options;
|
file |
diff |
annotate
|
Mon, 30 Jul 2012 15:31:00 +0200 |
wenzelm |
allow negative int values as well, according to real = int | float;
|
file |
diff |
annotate
|
Sat, 28 Jul 2012 19:37:35 +0200 |
wenzelm |
some description of main build options;
|
file |
diff |
annotate
|
Fri, 27 Jul 2012 14:09:59 +0200 |
wenzelm |
simplified Path vs. JVM File operations;
|
file |
diff |
annotate
|
Tue, 24 Jul 2012 00:29:36 +0200 |
wenzelm |
pass build options to ML;
|
file |
diff |
annotate
|
Mon, 23 Jul 2012 22:35:10 +0200 |
wenzelm |
added ML version of stand-alone options, with XML.encode/decode operations (unidirectional from Scala to ML);
|
file |
diff |
annotate
|
Sat, 21 Jul 2012 22:13:50 +0200 |
wenzelm |
propagate defined options;
|
file |
diff |
annotate
|
Fri, 20 Jul 2012 23:16:54 +0200 |
wenzelm |
more abstract file system operations in Scala, corresponding to ML version;
|
file |
diff |
annotate
|
Fri, 20 Jul 2012 22:29:25 +0200 |
wenzelm |
more explicit java.io.{File => JFile};
|
file |
diff |
annotate
|
Fri, 20 Jul 2012 21:04:03 +0200 |
wenzelm |
further imitation of "usedir" shell script;
|
file |
diff |
annotate
|
Fri, 20 Jul 2012 18:50:33 +0200 |
wenzelm |
require explicit initialization of options;
|
file |
diff |
annotate
|
Fri, 20 Jul 2012 17:43:55 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 20 Jul 2012 16:47:43 +0200 |
wenzelm |
define build_options from command line;
|
file |
diff |
annotate
|
Fri, 20 Jul 2012 15:48:22 +0200 |
wenzelm |
basic support for stand-alone options with external string representation;
|
file |
diff |
annotate
|