--- a/doc-src/ROOT Mon Aug 27 17:11:55 2012 +0200
+++ b/doc-src/ROOT Mon Aug 27 17:24:01 2012 +0200
@@ -114,6 +114,24 @@
Logic
Isar
+session Ref (doc) in "Ref" = Pure +
+ options [document_variants = "ref"]
+ theories
+ files
+ "../iman.sty"
+ "../extra.sty"
+ "../ttbox.sty"
+ "../proof.sty"
+ "../manual.bib"
+ "document/build"
+ "document/classical.tex"
+ "document/root.tex"
+ "document/simplifier.tex"
+ "document/substitution.tex"
+ "document/syntax.tex"
+ "document/tactic.tex"
+ "document/thm.tex"
+
session System (doc) in "System" = Pure +
options [document_variants = "system", thy_output_source]
theories