# HG changeset patch
# User wenzelm
# Date 1223123380 -7200
# Node ID 5350b32e1525e7be38074432572c832387116558
# Parent  fbe8f8e6c7c6317d255ff821acfa990f10837913
added Thy/thy_header.scala;

diff -r fbe8f8e6c7c6 -r 5350b32e1525 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Fri Oct 03 21:31:27 2008 +0200
+++ b/src/Pure/IsaMakefile	Sat Oct 04 14:29:40 2008 +0200
@@ -121,9 +121,9 @@
 
 ## Scala material
 
-SCALA_FILES = General/markup.scala General/position.scala	\
-  General/symbol.scala General/xml.scala General/yxml.scala	\
-  Isar/isar.scala Tools/isabelle_process.scala			\
+SCALA_FILES = General/markup.scala General/position.scala		\
+  General/symbol.scala General/xml.scala General/yxml.scala		\
+  Isar/isar.scala Thy/thy_header.scala Tools/isabelle_process.scala	\
   Tools/isabelle_syntax.scala Tools/isabelle_system.scala