src/HOL/ROOT
changeset 67152 8021ea06aad8
parent 67122 85b40f300fab
child 67159 deccbba7cfe3
     1.1 --- a/src/HOL/ROOT	Sun Dec 03 19:09:42 2017 +0100
     1.2 +++ b/src/HOL/ROOT	Wed Dec 06 21:43:20 2017 +0100
     1.3 @@ -56,7 +56,10 @@
     1.4    document_files "root.bib" "root.tex"
     1.5  
     1.6  session "HOL-Analysis" (main timing) in Analysis = HOL +
     1.7 +  options [document_tags = "unimportant",
     1.8 +    document_variants = "document:manual=-proof,-ML,-unimportant"]
     1.9    sessions
    1.10 +    "HOL-Library"
    1.11      "HOL-Computational_Algebra"
    1.12    theories
    1.13      Analysis