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 dependency document/root.tex, and -g true option to isatool; document generation should work now.
authorhuffman
Mon, 07 Mar 2005 23:30:06 +0100
changeset 15586 f7f812034707
parent 15585 513aa9a3a26d
child 15587 f363e6e080e7
Added dependency document/root.tex, and -g true option to isatool; document generation should work now.
src/HOLCF/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/IsaMakefile	Mon Mar 07 19:41:04 2005 +0100
+++ b/src/HOLCF/IsaMakefile	Mon Mar 07 23:30:06 2005 +0100
@@ -38,8 +38,8 @@
   Up.thy adm.ML cont_consts.ML \
   domain/axioms.ML domain/extender.ML domain/interface.ML \
   domain/library.ML domain/syntax.ML domain/theorems.ML holcf_logic.ML \
-  ex/Stream.thy
-	@$(ISATOOL) usedir -b -r $(OUT)/HOL HOLCF
+  ex/Stream.thy document/root.tex
+	@$(ISATOOL) usedir -b -g true -r $(OUT)/HOL HOLCF
 
 
 ## HOLCF-IMP
isabelle