| Thu, 20 Feb 2014 14:36:17 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Thu, 12 Sep 2013 18:50:41 +0200 |
wenzelm |
more robust System.getProperty with default;
|
file |
diff |
annotate
|
| Thu, 04 Apr 2013 18:06:48 +0200 |
wenzelm |
tuned signature -- concentrate GUI tools;
|
file |
diff |
annotate
|
| Wed, 04 Jan 2012 15:41:18 +0100 |
wenzelm |
updated version information;
|
file |
diff |
annotate
|
| Tue, 29 Nov 2011 21:29:53 +0100 |
wenzelm |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 22:18:19 +0100 |
wenzelm |
explicit indication of modules for independent Scala library;
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
file |
diff |
annotate
|
| Wed, 22 Dec 2010 12:05:17 +0100 |
wenzelm |
more explicit jvm_name;
|
file |
diff |
annotate
|
| Mon, 10 May 2010 17:37:32 +0200 |
wenzelm |
more convenient look-and-feel setup;
|
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 21:40:29 +0200 |
wenzelm |
system properties determine the JVM platform, not the Isabelle one;
|
file |
diff |
annotate
|
| Fri, 05 Feb 2010 19:48:13 +0100 |
wenzelm |
try "GTK+" as well -- note that "Nimbus" is unavailable in versions of OpenJDK;
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 16:46:00 +0200 |
wenzelm |
sane platform look-and-feel;
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 14:27:42 +0200 |
wenzelm |
moved platform identification to platform.scala;
|
file |
diff |
annotate
|