added Thy/thy_header.scala;
authorwenzelm
Sat Oct 04 14:29:40 2008 +0200 (2008-10-04 ago)
changeset 284945350b32e1525
parent 28493 fbe8f8e6c7c6
child 28495 c5f86d04743b
added Thy/thy_header.scala;
src/Pure/IsaMakefile
     1.1 --- a/src/Pure/IsaMakefile	Fri Oct 03 21:31:27 2008 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Sat Oct 04 14:29:40 2008 +0200
     1.3 @@ -121,9 +121,9 @@
     1.4  
     1.5  ## Scala material
     1.6  
     1.7 -SCALA_FILES = General/markup.scala General/position.scala	\
     1.8 -  General/symbol.scala General/xml.scala General/yxml.scala	\
     1.9 -  Isar/isar.scala Tools/isabelle_process.scala			\
    1.10 +SCALA_FILES = General/markup.scala General/position.scala		\
    1.11 +  General/symbol.scala General/xml.scala General/yxml.scala		\
    1.12 +  Isar/isar.scala Thy/thy_header.scala Tools/isabelle_process.scala	\
    1.13    Tools/isabelle_syntax.scala Tools/isabelle_system.scala
    1.14  
    1.15