diff -r d3a94ae9936f -r 63466160ff27 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Sat Jul 04 22:22:34 2009 +0200
+++ b/src/Pure/IsaMakefile	Sat Jul 04 23:25:28 2009 +0200
@@ -117,11 +117,11 @@
 
 ## Scala material
 
-SCALA_FILES = General/delay.scala General/event_bus.scala		\
-  General/markup.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	\
+SCALA_FILES = General/event_bus.scala General/markup.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				\
   System/isabelle_process.scala System/isabelle_system.scala		\
   System/platform.scala Thy/completion.scala Thy/thy_header.scala	\
   Tools/isabelle_syntax.scala