Wed, 22 Dec 2010 11:52:57 +0100 |
wenzelm |
isabelle java: prefer -server here;
|
file |
diff |
annotate
|
Wed, 17 Nov 2010 13:38:53 +0100 |
wenzelm |
refrain from opening Scratch.thy by default, to avoid bombing the editor with old/long theory text;
|
file |
diff |
annotate
|
Tue, 16 Nov 2010 15:23:26 +0100 |
wenzelm |
more reasonably defaults for typical laptops (2 GB RAM, 2 cores);
|
file |
diff |
annotate
|
Thu, 28 Oct 2010 14:56:14 +0200 |
wenzelm |
dock isabelle-session at bottom (again, cf. 37bdc2220cf8) to ensure that controls are fully visible;
|
file |
diff |
annotate
|
Fri, 01 Oct 2010 15:11:15 +0200 |
wenzelm |
tuned default "Prover Session" perspective;
|
file |
diff |
annotate
|
Tue, 28 Sep 2010 20:49:39 +0200 |
wenzelm |
tuned default perspective;
|
file |
diff |
annotate
|
Tue, 10 Aug 2010 12:08:24 +0200 |
wenzelm |
clarified JEDIT_JAVA_OPTIONS vs. JEDIT_SYSTEM_OPTIONS -- discontinued JEDIT_APPLE_PROPERTIES;
|
file |
diff |
annotate
|
Tue, 12 Jan 2010 17:06:36 +0100 |
wenzelm |
tuned initial properties/perspective;
|
file |
diff |
annotate
|
Tue, 12 Jan 2010 16:51:51 +0100 |
wenzelm |
provide JEDIT_SETTINGS via settings;
|
file |
diff |
annotate
|
Fri, 08 Jan 2010 12:26:22 +0100 |
wenzelm |
define scala.home, for more robust startup of Scala tools, notably the compiler;
|
file |
diff |
annotate
|
Wed, 16 Dec 2009 14:40:31 +0100 |
wenzelm |
actually use JEDIT_JAVA_OPTIONS from settings, not ..._ARGS;
|
file |
diff |
annotate
|
Fri, 11 Dec 2009 23:29:18 +0100 |
wenzelm |
more serious command line handling;
|
file |
diff |
annotate
|
Tue, 01 Sep 2009 15:37:05 +0200 |
wenzelm |
option -d: enable debugger;
|
file |
diff |
annotate
|
Sat, 22 Aug 2009 23:17:09 +0200 |
wenzelm |
Isabelle component;
|
file |
diff |
annotate
| base
|