changeset 39156 | b4f18ac786fa |
parent 39048 | 4006f5c3f421 |
child 39157 | b98909faaea8 |
--- a/src/HOL/IsaMakefile Mon Sep 06 13:06:27 2010 +0200 +++ b/src/HOL/IsaMakefile Mon Sep 06 13:22:11 2010 +0200 @@ -785,7 +785,7 @@ $(LOG)/HOL-Unix.gz: $(OUT)/HOL Library/Nested_Environment.thy \ Library/List_Prefix.thy Unix/ROOT.ML Unix/Unix.thy \ Unix/document/root.bib Unix/document/root.tex - @$(ISABELLE_TOOL) usedir $(OUT)/HOL Unix + @$(ISABELLE_TOOL) usedir -m no_brackets -m no_type_brackets $(OUT)/HOL Unix ## HOL-ZF