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.
suppress documentation "how_to_prove_it" for now, notably for release;
authorwenzelm
Thu, 26 Jun 2014 22:50:02 +0200
changeset 57393 84e8d378eb5e
parent 57392 f7a604a2fa63
child 57394 7621a3b42ce7
suppress documentation "how_to_prove_it" for now, notably for release;
src/Doc/ROOT file | annotate | diff | comparison | revisions 
--- a/src/Doc/ROOT	Thu Jun 26 22:18:09 2014 +0200
+++ b/src/Doc/ROOT	Thu Jun 26 22:50:02 2014 +0200
@@ -73,7 +73,7 @@
     "root.tex"
     "style.sty"
 
-session How_to_Prove_it (doc) in "How_to_Prove_it" = HOL +
+session How_to_Prove_it (* FIXME (doc) *) in "How_to_Prove_it" = HOL +
   options [document_variants = "how_to_prove_it", show_question_marks = false]
   theories
     How_to_Prove_it
isabelle