Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/HOL/IsaMakefile
changeset 15057 b1a368d93c50
parent 15037 19b3b0382303
child 15076 4b3d280ef06a 
     1.1 --- a/src/HOL/IsaMakefile	Fri Jul 16 17:33:12 2004 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Jul 16 17:33:43 2004 +0200
     1.3 @@ -158,8 +158,8 @@
     1.4    Hyperreal/Transcendental.thy Hyperreal/fuf.ML Hyperreal/hypreal_arith.ML \
     1.5    Complex/Complex_Main.thy Complex/CLim.thy Complex/CSeries.thy\
     1.6    Complex/CStar.thy Complex/Complex.thy Complex/ComplexBin.thy\
     1.7 -  Complex/NSCA.thy Complex/NSComplex.thy
     1.8 -	@cd Complex; $(ISATOOL) usedir -b $(OUT)/HOL HOL-Complex
     1.9 +  Complex/NSCA.thy Complex/NSComplex.thy Complex/document/root.tex 
    1.10 +	@cd Complex; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Complex
    1.11  
    1.12  
    1.13  ## HOL-Complex-ex
wneuper/isa