src/Doc/ROOT
changeset 67143 db609ac2c307
parent 66970 13857f49d215
child 67152 8021ea06aad8
     1.1 --- a/src/Doc/ROOT	Wed Dec 06 09:11:27 2017 +0100
     1.2 +++ b/src/Doc/ROOT	Wed Dec 06 15:17:05 2017 +0100
     1.3 @@ -1,5 +1,19 @@
     1.4  chapter Doc
     1.5  
     1.6 +session Analysis (doc) in "../HOL/Analysis" = HOL +
     1.7 +  options [document_variants = "analysis",
     1.8 +    (*skip_proofs = true,*) quick_and_dirty,
     1.9 +    document = pdf, document_output = "output",
    1.10 +    document_variants = "document=-proof,-ML,+important,-unimportant",
    1.11 +    document_tags = "unimportant"]
    1.12 +  sessions
    1.13 +    "HOL-Library"
    1.14 +    "HOL-Computational_Algebra"
    1.15 +  theories
    1.16 +    Analysis
    1.17 +  document_files
    1.18 +    "root.tex"
    1.19 +
    1.20  session Classes (doc) in "Classes" = HOL +
    1.21    options [document_variants = "classes", quick_and_dirty]
    1.22    theories [document = false] Setup