src/Doc/ROOT
changeset 52410 fb1fb867c146
parent 51558 91f8bed6d0a4
child 52412 4cfa094da3cb
     1.1 --- a/src/Doc/ROOT	Sat Jun 15 21:07:32 2013 +0200
     1.2 +++ b/src/Doc/ROOT	Mon Jun 17 19:30:41 2013 +0200
     1.3 @@ -69,19 +69,20 @@
     1.4      "document/build"
     1.5      "document/root.tex"
     1.6  
     1.7 -session IsarImplementation (doc) in "IsarImplementation" = HOL +
     1.8 +session IsarImplementation (doc) in "IsarImplementation" = "HOL-Proofs" +
     1.9    options [document_variants = "implementation"]
    1.10    theories
    1.11      Eq
    1.12      Integration
    1.13      Isar
    1.14      Local_Theory
    1.15 -    Logic
    1.16      ML
    1.17      Prelim
    1.18      Proof
    1.19      Syntax
    1.20      Tactic
    1.21 +  theories [proofs = 2, parallel_proofs = 0]
    1.22 +    Logic
    1.23    files
    1.24      "../prepare_document"
    1.25      "../pdfsetup.sty"