changeset 22100 | 33d7468302bb |
parent 22077 | 2882d9cc5e75 |
child 22140 | 0d49078c28bd |
--- a/src/HOL/IsaMakefile Fri Jan 19 22:08:06 2007 +0100 +++ b/src/HOL/IsaMakefile Fri Jan 19 22:08:07 2007 +0100 @@ -482,7 +482,7 @@ Lambda/ParRed.thy Lambda/StrongNorm.thy Lambda/Type.thy \ Lambda/WeakNorm.thy Lambda/ROOT.ML \ Lambda/document/root.bib Lambda/document/root.tex - @$(ISATOOL) usedir -g true $(OUT)/HOL Lambda + @$(ISATOOL) usedir -g true -m no_brackets $(OUT)/HOL Lambda ## HOL-Prolog