--- a/src/Pure/IsaMakefile Sun Jan 18 20:05:01 2009 +0100
+++ b/src/Pure/IsaMakefile Sun Jan 18 20:06:51 2009 +0100
@@ -126,9 +126,9 @@
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/outer_keyword.scala Thy/thy_header.scala \
- Tools/isabelle_process.scala Tools/isabelle_syntax.scala \
- Tools/isabelle_system.scala
+ Isar/isar_document.scala Isar/outer_keyword.scala \
+ Thy/thy_header.scala Tools/isabelle_process.scala \
+ Tools/isabelle_syntax.scala Tools/isabelle_system.scala
SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar