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;
Thu, 24 May 2012 17:42:47 +0200 wenzelm more robust Swing_Thread.now: allow body to fail;
less more (0) -2 tip