--- a/src/Doc/ROOT Wed Dec 06 09:11:27 2017 +0100
+++ b/src/Doc/ROOT Wed Dec 06 15:17:05 2017 +0100
@@ -1,5 +1,19 @@
chapter Doc
+session Analysis (doc) in "../HOL/Analysis" = HOL +
+ options [document_variants = "analysis",
+ (*skip_proofs = true,*) quick_and_dirty,
+ document = pdf, document_output = "output",
+ document_variants = "document=-proof,-ML,+important,-unimportant",
+ document_tags = "unimportant"]
+ sessions
+ "HOL-Library"
+ "HOL-Computational_Algebra"
+ theories
+ Analysis
+ document_files
+ "root.tex"
+
session Classes (doc) in "Classes" = HOL +
options [document_variants = "classes", quick_and_dirty]
theories [document = false] Setup