| 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
|