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.
depend on ../../antiquote_setup.ML;
authorwenzelm
Thu, 08 May 2008 22:31:23 +0200
changeset 26855 7bb3d2ee0606
parent 26854 9b4aec46ad78
child 26856 610ca045b1b2
depend on ../../antiquote_setup.ML;
doc-src/IsarAdvanced/Codegen/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarAdvanced/Codegen/IsaMakefile	Thu May 08 22:20:33 2008 +0200
+++ b/doc-src/IsarAdvanced/Codegen/IsaMakefile	Thu May 08 22:31:23 2008 +0200
@@ -23,7 +23,7 @@
 
 Thy: $(THY)
 
-$(THY): Thy/ROOT.ML Thy/Codegen.thy
+$(THY): Thy/ROOT.ML Thy/Codegen.thy ../../antiquote_setup.ML
 	@$(USEDIR) HOL Thy
isabelle