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