| Tue, 29 Sep 2015 18:39:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 16:58:33 +0200 |
wenzelm |
tuned GUI;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 16:45:54 +0200 |
wenzelm |
proper event;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 16:28:02 +0200 |
wenzelm |
tuned GUI;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 13:54:04 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 21 Aug 2015 18:46:12 +0200 |
wenzelm |
more scalable GUI;
|
file |
diff |
annotate
|
| Sat, 17 Jan 2015 23:33:21 +0100 |
wenzelm |
tuned window size for the sake of Windows L&F;
|
file |
diff |
annotate
|
| Tue, 30 Dec 2014 11:50:34 +0100 |
wenzelm |
added system property isabelle.laf, notably for initial system dialog;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 23:49:15 +0200 |
wenzelm |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
| Mon, 09 Dec 2013 22:02:42 +0100 |
wenzelm |
alternative hires icon;
|
file |
diff |
annotate
|
| Sat, 09 Nov 2013 11:41:32 +0100 |
wenzelm |
adjust modules for Admin/build jars_test;
|
file |
diff |
annotate
|
| Tue, 24 Sep 2013 20:41:28 +0200 |
wenzelm |
more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material);
|
file |
diff |
annotate
|
| Sun, 22 Sep 2013 14:30:34 +0200 |
wenzelm |
clarified location of GUI modules (which depend on Swing of JFX);
|
file |
diff |
annotate
| base
|