doc-src/ROOT
changeset 48937 e7418f8d49fe
parent 48738 f8c1a5b9488f
child 48938 d468d72a458f
--- a/doc-src/ROOT	Mon Aug 27 16:10:54 2012 +0200
+++ b/doc-src/ROOT	Mon Aug 27 16:48:41 2012 +0200
@@ -104,9 +104,8 @@
     Logic
     Isar
 
-session System (doc) in "System/Thy" = Pure +
-  options [browser_info = false, document = false,
-    document_dump = document, document_dump_mode = "tex"]
+session System (doc) in "System" = Pure +
+  options [document_variants = "system", thy_output_source]
   theories
     Basics
     Interfaces
@@ -114,6 +113,18 @@
     Presentation
     Scala
     Misc
+  files
+    "../IsarRef/style.sty"
+    "../iman.sty"
+    "../extra.sty"
+    "../ttbox.sty"
+    "../isar.sty"
+    "../underscore.sty"
+    "../manual.bib"
+    "document/browser_screenshot.eps"
+    "document/browser_screenshot.png"
+    "document/build"
+    "document/root.tex"
 
 session Tutorial (doc) in "TutorialI" = HOL +
   options [browser_info = false, document = false,