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.
src/HOLCF/IsaMakefile
changeset 15586 f7f812034707
parent 15576 efb95d0d01f7
child 15742 64eae3513064 
--- 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