--- a/src/Pure/IsaMakefile Mon Jun 15 21:33:27 2009 +0200
+++ b/src/Pure/IsaMakefile Tue Jun 16 15:25:32 2009 +0200
@@ -115,9 +115,9 @@
## Scala material
SCALA_FILES = General/event_bus.scala General/markup.scala \
- General/position.scala General/swing.scala General/symbol.scala \
- General/xml.scala General/yxml.scala Isar/isar.scala \
- Isar/isar_document.scala Isar/outer_keyword.scala \
+ General/position.scala General/scan.scala General/swing.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/isabelle_process.scala \
System/isabelle_system.scala Thy/thy_header.scala \
Tools/isabelle_syntax.scala