# HG changeset patch # User wenzelm # Date 1621287496 -7200 # Node ID 9e1de6fb957964e8f8d870e6b781791edb79f35c # Parent 52030acb19acf5480f9b2e1b4bb914c64333df49 proper options; diff -r 52030acb19ac -r 9e1de6fb9579 src/Doc/ROOT --- 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