src/Pure/General/swing_thread.scala
Tue, 30 Jun 2009 21:19:32 +0200 wenzelm renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;
less more (0) tip