Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
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
isabelle