| 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
|
| Fri, 03 Jul 2009 21:14:46 +0200 |
wenzelm |
init/check Isabelle_System;
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 21:19:32 +0200 |
wenzelm |
renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 00:50:42 +0200 |
wenzelm |
more display;
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 22:50:37 +0200 |
wenzelm |
improved display;
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 22:35:23 +0200 |
wenzelm |
display some platform information;
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 16:46:00 +0200 |
wenzelm |
sane platform look-and-feel;
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 16:01:52 +0200 |
wenzelm |
minimal GUI_Setup, which is the main class of Pure.jar;
|
file |
diff |
annotate
|