--- a/doc-src/ROOT Tue Aug 28 15:07:43 2012 +0200
+++ b/doc-src/ROOT Tue Aug 28 16:14:35 2012 +0200
@@ -43,6 +43,19 @@
"document/root.tex"
"document/style.sty"
+session Intro (doc) in "Intro" = Pure +
+ options [document_variants = "intro"]
+ theories
+ files
+ "../pdfsetup.sty"
+ "../iman.sty"
+ "../extra.sty"
+ "../ttbox.sty"
+ "../proof.sty"
+ "../manual.bib"
+ "document/build"
+ "document/root.tex"
+
session IsarImplementation (doc) in "IsarImplementation" = HOL +
options [document_variants = "implementation"]
theories
@@ -69,19 +82,6 @@
"document/root.tex"
"document/style.sty"
-session Intro (doc) in "Intro" = Pure +
- options [document_variants = "intro"]
- theories
- files
- "../pdfsetup.sty"
- "../iman.sty"
- "../extra.sty"
- "../ttbox.sty"
- "../proof.sty"
- "../manual.bib"
- "document/build"
- "document/root.tex"
-
session IsarRef (doc) in "IsarRef" = HOL +
options [document_variants = "isar-ref", quick_and_dirty, thy_output_source]
theories