src/Pure/System/swing_thread.scala
2010-08-07 wenzelm 2010-08-07 more explicit treatment of Swing thread context; Document_Model.snapshot: require Swing thread;
2010-05-05 wenzelm 2010-05-05 some rearrangement of Scala sources;