| Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
file |
diff |
annotate
|
| Wed, 22 Jun 2011 21:35:48 +0200 |
wenzelm |
lazy Isabelle_System.default supports implicit boot;
|
file |
diff |
annotate
|
| Wed, 22 Dec 2010 12:05:17 +0100 |
wenzelm |
more explicit jvm_name;
|
file |
diff |
annotate
|
| Tue, 16 Nov 2010 17:27:11 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 15:51:28 +0200 |
wenzelm |
simplified alignment via FlowPanel;
|
file |
diff |
annotate
|
| Mon, 10 May 2010 17:37:32 +0200 |
wenzelm |
more convenient look-and-feel setup;
|
file |
diff |
annotate
|
| Wed, 05 May 2010 23:22:11 +0200 |
wenzelm |
use SwingApplication instead of deprecated GUIApplication;
|
file |
diff |
annotate
|
| Mon, 19 Apr 2010 17:57:07 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 19 Apr 2010 17:31:48 +0200 |
wenzelm |
more platform information;
|
file |
diff |
annotate
|
| Mon, 19 Apr 2010 17:27:41 +0200 |
wenzelm |
check JVM platform at most once -- still non-strict to prevent potential failure during initialization of object Platform;
|
file |
diff |
annotate
|
| Sat, 17 Apr 2010 23:05:52 +0200 |
wenzelm |
more platform info;
|
file |
diff |
annotate
|
| Sat, 17 Apr 2010 21:40:29 +0200 |
wenzelm |
system properties determine the JVM platform, not the Isabelle one;
|
file |
diff |
annotate
|
| Sat, 17 Apr 2010 20:42:26 +0200 |
wenzelm |
improved ISABELLE_JAVA, based on THIS_JAVA of the actually running JVM;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2009 21:55:14 +0100 |
wenzelm |
simplified Cygwin setup, assuming 1.7 registry layout (version 1.5 suffers from upcaseenv problem anyway);
|
file |
diff |
annotate
|