isabelle: File revisions

src/Pure/GUI/system_dialog.scala

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

isabelle