src/Doc/ROOT
changeset 56825 8872e0776e97
parent 56534 3ff16a7f0b2e
child 57083 5c26000e1042
equal deleted inserted replaced
56824:5ae68f53b7c2 56825:8872e0776e97
    70     "conclusion.tex"
    70     "conclusion.tex"
    71     "intro.tex"
    71     "intro.tex"
    72     "mathpartir.sty"
    72     "mathpartir.sty"
    73     "root.tex"
    73     "root.tex"
    74     "style.sty"
    74     "style.sty"
       
    75 
       
    76 session How_to_Prove_it (doc) in "How_to_Prove_it" = HOL +
       
    77   options [document_variants = "how_to_prove_it", show_question_marks = false]
       
    78   theories
       
    79     How_to_Prove_it
       
    80   document_files
       
    81     "root.tex"
       
    82     "root.bib"
       
    83     "prelude.tex"
    75 
    84 
    76 session Intro (doc) in "Intro" = Pure +
    85 session Intro (doc) in "Intro" = Pure +
    77   options [document_variants = "intro"]
    86   options [document_variants = "intro"]
    78   theories
    87   theories
    79   document_files (in "..")
    88   document_files (in "..")