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.
proper options;
authorwenzelm
Mon, 17 May 2021 23:38:16 +0200
changeset 73722 9e1de6fb9579
parent 73721 52030acb19ac
child 73723 1bbbaae6b5e3
proper options;
src/Doc/ROOT file | annotate | diff | comparison | revisions 
--- a/src/Doc/ROOT	Mon May 17 23:30:25 2021 +0200
+++ b/src/Doc/ROOT	Mon May 17 23:38:16 2021 +0200
@@ -122,8 +122,7 @@
     "style.sty"
 
 session How_to_Prove_it (no_doc) in "How_to_Prove_it" = HOL +
-  options [document_build = "build", document_variants = "how_to_prove_it",
-    show_question_marks = false]
+  options [document_variants = "how_to_prove_it", show_question_marks = false]
   theories
     How_to_Prove_it
   document_files
isabelle