diff -r c04001b3a753 -r 12afbf6eb7f9 doc-src/ROOT
--- a/doc-src/ROOT	Tue Aug 28 12:31:53 2012 +0200
+++ b/doc-src/ROOT	Tue Aug 28 12:45:49 2012 +0200
@@ -82,10 +82,8 @@
     "document/build"
     "document/root.tex"
 
-session IsarRef (doc) in "IsarRef/Thy" = HOL +
-  options [browser_info = false, document = false,
-    document_dump = document, document_dump_mode = "tex",
-    quick_and_dirty, thy_output_source]
+session IsarRef (doc) in "IsarRef" = HOL +
+  options [document_variants = "isar-ref", quick_and_dirty, thy_output_source]
   theories
     Preface
     Synopsis
@@ -102,6 +100,21 @@
     Quick_Reference
     Symbols
     ML_Tactic
+  files
+    "../pdfsetup.sty"
+    "../iman.sty"
+    "../extra.sty"
+    "../ttbox.sty"
+    "../proof.sty"
+    "../isar.sty"
+    "../manual.bib"
+    "document/build"
+    "document/isar-vm.eps"
+    "document/isar-vm.pdf"
+    "document/isar-vm.svg"
+    "document/root.tex"
+    "document/showsymbols"
+    "document/style.sty"
 
 session LaTeXsugar (doc) in "LaTeXsugar" = HOL +
   options [document_variants = "sugar"]