diff -r fd9e28d5a143 -r 09710d6fc3d1 src/FOL/ROOT --- a/src/FOL/ROOT Tue Jul 24 00:29:36 2012 +0200 +++ b/src/FOL/ROOT Tue Jul 24 10:11:49 2012 +0200 @@ -21,6 +21,6 @@ Quantifiers_Cla Miniscope If - theories [document = false] "Locale_Test/Locale_Test" + theories [no_document] "Locale_Test/Locale_Test" files "document/root.tex"