src/Pure/IsaMakefile
changeset 29553 c3b937e8597b
parent 29459 8acad4f0a727
child 29576 669b560fc2b9
     1.1 --- a/src/Pure/IsaMakefile	Sun Jan 18 20:05:01 2009 +0100
     1.2 +++ b/src/Pure/IsaMakefile	Sun Jan 18 20:06:51 2009 +0100
     1.3 @@ -126,9 +126,9 @@
     1.4  SCALA_FILES = General/event_bus.scala General/markup.scala		\
     1.5    General/position.scala General/swing.scala General/symbol.scala	\
     1.6    General/xml.scala General/yxml.scala Isar/isar.scala			\
     1.7 -  Isar/outer_keyword.scala Thy/thy_header.scala				\
     1.8 -  Tools/isabelle_process.scala Tools/isabelle_syntax.scala		\
     1.9 -  Tools/isabelle_system.scala
    1.10 +  Isar/isar_document.scala Isar/outer_keyword.scala			\
    1.11 +  Thy/thy_header.scala Tools/isabelle_process.scala			\
    1.12 +  Tools/isabelle_syntax.scala Tools/isabelle_system.scala
    1.13  
    1.14  
    1.15  SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar