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/ZF/IsaMakefile
changeset 15083 a471fd1d9961
parent 14883 ca000a495448
child 15201 d73f9d49d835 
--- a/src/ZF/IsaMakefile	Wed Jul 28 16:26:27 2004 +0200
+++ b/src/ZF/IsaMakefile	Thu Jul 29 12:15:53 2004 +0200
@@ -59,8 +59,8 @@
   AC/AC16_lemmas.thy AC/AC17_AC1.thy AC/AC18_AC19.thy AC/AC7_AC9.thy \
   AC/AC_Equiv.thy AC/Cardinal_aux.thy \
   AC/DC.thy AC/HH.thy AC/Hartog.thy AC/WO1_AC.thy AC/WO1_WO7.thy \
-  AC/WO2_AC16.thy AC/WO6_WO1.thy 
-	@$(ISATOOL) usedir $(OUT)/ZF AC
+  AC/WO2_AC16.thy AC/WO6_WO1.thy AC/document/root.bib AC/document/root.tex
+	@$(ISATOOL) usedir -g true $(OUT)/ZF AC
 
 
 ## ZF-Coind
@@ -87,7 +87,7 @@
   Constructible/Rec_Separation.thy Constructible/Separation.thy \
   Constructible/Satisfies_absolute.thy Constructible/WF_absolute.thy \
   Constructible/Reflection.thy  Constructible/WFrec.thy \
-  Constructible/document/root.tex
+  Constructible/document/root.bib Constructible/document/root.tex
 	@$(ISATOOL) usedir -g true $(OUT)/ZF Constructible
isabelle