--- a/doc-src/ROOT Mon Aug 27 22:31:16 2012 +0200
+++ b/doc-src/ROOT Mon Aug 27 23:00:38 2012 +0200
@@ -7,10 +7,8 @@
"document/root.tex"
"document/style.sty"
-session Codegen (doc) in "Codegen/Thy" = "HOL-Library" +
- options [browser_info = false, document = false,
- document_dump = document, document_dump_mode = "tex",
- print_mode = "no_brackets,iff"]
+session Codegen (doc) in "Codegen" = "HOL-Library" +
+ options [document_variants = "codegen", print_mode = "no_brackets,iff"]
theories [document = false] Setup
theories
Introduction
@@ -20,6 +18,12 @@
Evaluation
Adaptation
Further
+ files
+ "document/adaptation.tex"
+ "document/architecture.tex"
+ "document/build"
+ "document/root.tex"
+ "document/style.sty"
session Functions (doc) in "Functions" = HOL +
options [document_variants = "functions"]