changeset 14578 | 1f3f7e58b195 |
parent 14569 | 78b75a9eec01 |
child 14592 | dd1a2905ea73 |
--- a/src/HOL/IsaMakefile Fri Apr 16 04:07:10 2004 +0200 +++ b/src/HOL/IsaMakefile Fri Apr 16 04:08:29 2004 +0200 @@ -359,7 +359,7 @@ Algebra/poly/Polynomial.thy \ Algebra/poly/UnivPoly2.ML Algebra/poly/UnivPoly2.thy \ Algebra/ringsimp.ML - @cd Algebra; $(ISATOOL) usedir -b $(OUT)/HOL HOL-Algebra + @cd Algebra; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Algebra ## HOL-Auth