--- a/src/Pure/IsaMakefile Tue Jun 30 00:57:24 2009 +0200
+++ b/src/Pure/IsaMakefile Tue Jun 30 21:19:32 2009 +0200
@@ -118,7 +118,7 @@
## Scala material
SCALA_FILES = General/event_bus.scala General/markup.scala \
- General/position.scala General/scan.scala General/swing.scala \
+ General/position.scala General/scan.scala General/swing_thread.scala \
General/symbol.scala General/xml.scala General/yxml.scala \
Isar/isar.scala Isar/isar_document.scala Isar/outer_keyword.scala \
System/cygwin.scala System/gui_setup.scala \