--- a/src/Doc/ROOT Sun May 17 22:33:34 2015 +0200
+++ b/src/Doc/ROOT Sun May 17 23:03:49 2015 +0200
@@ -59,6 +59,28 @@
"root.tex"
"style.sty"
+session Eisbach (doc) in "Eisbach" = "HOL-Eisbach" +
+ options [document_variants = "eisbach", quick_and_dirty,
+ print_mode = "no_brackets,iff", show_question_marks = false]
+ theories [document = false]
+ Base
+ theories
+ Preface
+ Manual
+ document_files (in "..")
+ "prepare_document"
+ "pdfsetup.sty"
+ "iman.sty"
+ "extra.sty"
+ "isar.sty"
+ "ttbox.sty"
+ "underscore.sty"
+ "manual.bib"
+ document_files
+ "build"
+ "root.tex"
+ "style.sty"
+
session Functions (doc) in "Functions" = HOL +
options [document_variants = "functions", skip_proofs = false, quick_and_dirty]
theories Functions