Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/ROOT
changeset 57393 84e8d378eb5e
parent 57339 3bb94256e0ed
child 58112 8081087096ad 
--- 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