--- a/doc-src/ROOT Mon Aug 27 21:19:16 2012 +0200
+++ b/doc-src/ROOT Mon Aug 27 21:30:18 2012 +0200
@@ -123,10 +123,12 @@
"document/build"
"document/root.tex"
-session Main (doc) in "Main/Docs" = HOL +
- options [browser_info = false, document = false,
- document_dump = document, document_dump_mode = "tex"]
+session Main (doc) in "Main" = HOL +
+ options [document_variants = "main"]
theories Main_Doc
+ files
+ "document/build"
+ "document/root.tex"
session ProgProve (doc) in "ProgProve/Thys" = HOL +
options [browser_info = false, document = false,