src/Doc/ROOT
changeset 57393 84e8d378eb5e
parent 57339 3bb94256e0ed
child 58112 8081087096ad
     1.1 --- a/src/Doc/ROOT	Thu Jun 26 22:18:09 2014 +0200
     1.2 +++ b/src/Doc/ROOT	Thu Jun 26 22:50:02 2014 +0200
     1.3 @@ -73,7 +73,7 @@
     1.4      "root.tex"
     1.5      "style.sty"
     1.6  
     1.7 -session How_to_Prove_it (doc) in "How_to_Prove_it" = HOL +
     1.8 +session How_to_Prove_it (* FIXME (doc) *) in "How_to_Prove_it" = HOL +
     1.9    options [document_variants = "how_to_prove_it", show_question_marks = false]
    1.10    theories
    1.11      How_to_Prove_it