--- a/src/Doc/ROOT Wed Dec 06 21:30:26 2017 +0100
+++ b/src/Doc/ROOT Wed Dec 06 21:43:20 2017 +0100
@@ -1,19 +1,5 @@
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
--- 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