just one session for bulky HOL-Analysis documents;
authorwenzelm
Wed Dec 06 21:43:20 2017 +0100 (10 months ago)
changeset 671528021ea06aad8
parent 67151 d1ace598c026
child 67153 39117b6f0b2e
just one session for bulky HOL-Analysis documents;
src/Doc/ROOT
src/HOL/ROOT
     1.1 --- a/src/Doc/ROOT	Wed Dec 06 21:30:26 2017 +0100
     1.2 +++ b/src/Doc/ROOT	Wed Dec 06 21:43:20 2017 +0100
     1.3 @@ -1,19 +1,5 @@
     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
     2.1 --- a/src/HOL/ROOT	Wed Dec 06 21:30:26 2017 +0100
     2.2 +++ b/src/HOL/ROOT	Wed Dec 06 21:43:20 2017 +0100
     2.3 @@ -56,7 +56,10 @@
     2.4    document_files "root.bib" "root.tex"
     2.5  
     2.6  session "HOL-Analysis" (main timing) in Analysis = HOL +
     2.7 +  options [document_tags = "unimportant",
     2.8 +    document_variants = "document:manual=-proof,-ML,-unimportant"]
     2.9    sessions
    2.10 +    "HOL-Library"
    2.11      "HOL-Computational_Algebra"
    2.12    theories
    2.13      Analysis