src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Dec 06 21:30:26 2017 +0100
+++ b/src/HOL/ROOT	Wed Dec 06 21:43:20 2017 +0100
@@ -56,7 +56,10 @@
   document_files "root.bib" "root.tex"
 
 session "HOL-Analysis" (main timing) in Analysis = HOL +
+  options [document_tags = "unimportant",
+    document_variants = "document:manual=-proof,-ML,-unimportant"]
   sessions
+    "HOL-Library"
     "HOL-Computational_Algebra"
   theories
     Analysis