--- a/doc-src/ROOT Mon Aug 27 22:14:17 2012 +0200
+++ b/doc-src/ROOT Mon Aug 27 22:22:42 2012 +0200
@@ -103,13 +103,17 @@
quick_and_dirty]
theories ZF_Specific
-session LaTeXsugar (doc) in "LaTeXsugar/Sugar" = HOL +
- options [browser_info = false, document = false,
- document_dump = document, document_dump_mode = "tex"]
- theories [document_dump = ""]
+session LaTeXsugar (doc) in "LaTeXsugar" = HOL +
+ options [document_variants = "sugar"]
+ theories [document = ""]
"~~/src/HOL/Library/LaTeXsugar"
"~~/src/HOL/Library/OptionalSugar"
theories Sugar
+ files
+ "document/build"
+ "document/mathpartir.sty"
+ "document/root.bib"
+ "document/root.tex"
session Locales (doc) in "Locales" = HOL +
options [document_variants = "locales"]