obsolete;
authorwenzelm
Mon Oct 30 20:10:07 2017 +0100 (19 months ago)
changeset 6694847249c5ec3a4
parent 66947 eefbb2300669
child 66949 6c5e4ac0398b
obsolete;
lib/Tools/mkroot
     1.1 --- a/lib/Tools/mkroot	Mon Oct 30 20:09:24 2017 +0100
     1.2 +++ b/lib/Tools/mkroot	Mon Oct 30 20:10:07 2017 +0100
     1.3 @@ -101,7 +101,6 @@
     1.4  else
     1.5    cat > "$DIR/ROOT" <<EOF
     1.6  session "$NAME" = "$ISABELLE_LOGIC" +
     1.7 -  options [document = false]
     1.8    theories
     1.9      (* Foo *)
    1.10      (* Bar *)