Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
obsolete;
authorwenzelm
Mon, 30 Oct 2017 20:10:07 +0100
changeset 66948 47249c5ec3a4
parent 66947 eefbb2300669
child 66949 6c5e4ac0398b
obsolete;
lib/Tools/mkroot file | annotate | diff | comparison | revisions 
--- 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 *)
isabelle