src/HOL/IsaMakefile
changeset 27717 21bbd410ba04
parent 27713 95b36bfe7fc4
child 27742 df552e6027cf
     1.1 --- a/src/HOL/IsaMakefile	Fri Aug 01 17:41:37 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Aug 01 18:10:52 2008 +0200
     1.3 @@ -520,7 +520,7 @@
     1.4    Algebra/document/root.tex Algebra/poly/LongDiv.thy			\
     1.5    Algebra/poly/PolyHomo.thy Algebra/poly/Polynomial.thy			\
     1.6    Algebra/poly/UnivPoly2.thy Algebra/ringsimp.ML
     1.7 -	@cd Algebra; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Algebra
     1.8 +	@cd Algebra; $(ISATOOL) usedir -b -g true -V outline=/proof,/ML $(OUT)/HOL HOL-Algebra
     1.9  
    1.10  
    1.11  ## HOL-Auth