--- a/doc-src/ROOT Mon Aug 27 20:19:09 2012 +0200
+++ b/doc-src/ROOT Mon Aug 27 20:50:10 2012 +0200
@@ -48,6 +48,18 @@
"document/root.tex"
"document/style.sty"
+session Intro (doc) in "Intro" = Pure +
+ options [document_variants = "intro"]
+ theories
+ files
+ "../iman.sty"
+ "../extra.sty"
+ "../ttbox.sty"
+ "../proof.sty"
+ "../manual.bib"
+ "document/build"
+ "document/root.tex"
+
session "HOL-IsarRef" (doc) in "IsarRef/Thy" = HOL +
options [browser_info = false, document = false,
document_dump = document, document_dump_mode = "tex",