isabelle: File revisions

src/Pure/System/swing_thread.scala

Fri, 25 May 2012 13:19:10 +0200	wenzelm	further attempts to simplify/robustify Swing_Thread.now, to avoid spurious physical race conditions on Java 6 / Mac OS X;	file \| diff \| annotate
Thu, 24 May 2012 17:42:47 +0200	wenzelm	more robust Swing_Thread.now: allow body to fail;	file \| diff \| annotate
Thu, 01 Mar 2012 14:12:18 +0100	wenzelm	explicitly revoke delay, to avoid spurious timer events after deactivation of related components;	file \| diff \| annotate
Tue, 21 Feb 2012 16:42:57 +0100	wenzelm	invoke later to reduce chance of causing deadlock;	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
Mon, 29 Aug 2011 16:28:51 +0200	wenzelm	invoke in Swing thread to make double sure;	file \| diff \| annotate
Wed, 01 Dec 2010 20:34:40 +0100	wenzelm	more abstract/uniform handling of time, preferring seconds as Double;	file \| diff \| annotate

isabelle