# HG changeset patch
# User wenzelm
# Date 1509390607 -3600
# Node ID 47249c5ec3a4fa9befd187b77c6e0f520a2826bf
# Parent  eefbb2300669a89ebd92960c30a46c1add448256
obsolete;

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