1.1 --- a/src/Pure/IsaMakefile	Sat Feb 28 18:00:20 2009 +0100
     1.2 +++ b/src/Pure/IsaMakefile	Sat Feb 28 18:25:19 2009 +0100
     1.3 @@ -119,8 +119,8 @@
     1.4    General/position.scala General/swing.scala General/symbol.scala	\
     1.5    General/xml.scala General/yxml.scala Isar/isar.scala			\
     1.6    Isar/isar_document.scala Isar/outer_keyword.scala			\
     1.7 -  System/isabelle_process.scala Thy/thy_header.scala			\
     1.8 -  Tools/isabelle_syntax.scala Tools/isabelle_system.scala
     1.9 +  System/isabelle_process.scala System/isabelle_system.scala		\
    1.10 +  Thy/thy_header.scala Tools/isabelle_syntax.scala
    1.11  
    1.12  
    1.13  SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar