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 Complex/root
authornipkow
Fri, 16 Jul 2004 17:33:43 +0200
changeset 15057 b1a368d93c50
parent 15056 b75073d90bff
child 15058 cc8f1de3f86c
added Complex/root
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Fri Jul 16 17:33:12 2004 +0200
+++ b/src/HOL/IsaMakefile	Fri Jul 16 17:33:43 2004 +0200
@@ -158,8 +158,8 @@
   Hyperreal/Transcendental.thy Hyperreal/fuf.ML Hyperreal/hypreal_arith.ML \
   Complex/Complex_Main.thy Complex/CLim.thy Complex/CSeries.thy\
   Complex/CStar.thy Complex/Complex.thy Complex/ComplexBin.thy\
-  Complex/NSCA.thy Complex/NSComplex.thy
-	@cd Complex; $(ISATOOL) usedir -b $(OUT)/HOL HOL-Complex
+  Complex/NSCA.thy Complex/NSComplex.thy Complex/document/root.tex 
+	@cd Complex; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Complex
 
 
 ## HOL-Complex-ex
isabelle