Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/IsarImplementation/IsaMakefile
changeset 30124 b956bf0dc87c
parent 29755 d66b34e46bdf
child 30456 d21bc48823b7 
--- a/doc-src/IsarImplementation/IsaMakefile	Thu Feb 26 20:57:59 2009 +0100
+++ b/doc-src/IsarImplementation/IsaMakefile	Thu Feb 26 21:16:53 2009 +0100
@@ -23,7 +23,8 @@
 
 $(LOG)/Pure-Thy.gz: Thy/ROOT.ML Thy/Base.thy Thy/Integration.thy	\
   Thy/Isar.thy Thy/Local_Theory.thy Thy/Logic.thy Thy/Prelim.thy	\
-  Thy/Proof.thy Thy/Tactic.thy Thy/ML.thy ../antiquote_setup.ML
+  Thy/Proof.thy Thy/Syntax.thy Thy/Tactic.thy Thy/ML.thy		\
+  ../antiquote_setup.ML
 	@$(USEDIR) Pure Thy
isabelle