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