--- 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 *)