1.1 --- a/src/Pure/IsaMakefile	Sun Aug 17 16:45:19 2008 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Sun Aug 17 21:11:04 2008 +0200
     1.3 @@ -115,7 +115,8 @@
     1.4  ## Scala material
     1.5  
     1.6  SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar
     1.7 -SCALA_FILES = General/symbol.scala Tools/isabelle_system.scala
     1.8 +SCALA_FILES = General/symbol.scala Tools/isabelle_system.scala	\
     1.9 +  General/xml.scala General/yxml.scala
    1.10  
    1.11  jar: $(SCALA_TARGET)
    1.12