isabelle: File revisions

src/Pure/GUI/color_value.scala

Wed, 15 Jan 2020 19:46:04 +0100	wenzelm	tuned -- avoid deprecated constructors;	file \| diff \| annotate
Tue, 09 Apr 2019 10:56:25 +0200	wenzelm	back to scala-2.12.7 (due to reports about problems with new Mac hardware / OS installations by Jasmin Blanchette and Dmitriy Traytel);	file \| diff \| annotate
Mon, 24 Oct 2016 12:16:12 +0200	wenzelm	discontinued unused / untested distinction of separate PIDE modules;	file \| diff \| annotate
Wed, 09 Mar 2016 16:40:39 +0100	wenzelm	prefer explicit locale;	file \| diff \| annotate
Wed, 16 Apr 2014 09:38:40 +0200	wenzelm	tuned signature -- separate module Word;	file \| diff \| annotate
Fri, 11 Apr 2014 19:07:56 +0200	wenzelm	prefere standard Isabelle/Scala operation, with fixed locale;	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