--- 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"