diff -r eefbb2300669 -r 47249c5ec3a4 lib/Tools/mkroot
--- a/lib/Tools/mkroot	Mon Oct 30 20:09:24 2017 +0100
+++ b/lib/Tools/mkroot	Mon Oct 30 20:10:07 2017 +0100
@@ -101,7 +101,6 @@
 else
   cat > "$DIR/ROOT" <<EOF
 session "$NAME" = "$ISABELLE_LOGIC" +
-  options [document = false]
   theories
     (* Foo *)
     (* Bar *)