Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added Thy/thy_header.scala;
authorwenzelm
Sat, 04 Oct 2008 14:29:40 +0200
changeset 28494 5350b32e1525
parent 28493 fbe8f8e6c7c6
child 28495 c5f86d04743b
added Thy/thy_header.scala;
src/Pure/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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
isabelle