1.1 --- a/doc-src/ROOT	Thu Jul 26 11:52:08 2012 +0200
     1.2 +++ b/doc-src/ROOT	Thu Jul 26 12:27:47 2012 +0200
     1.3 @@ -1,9 +1,9 @@
     1.4 -session Classes! in "Classes/Thy" = HOL +
     1.5 +session Classes! (doc) in "Classes/Thy" = HOL +
     1.6    options [browser_info = false, document = false, document_dump = document, document_dump_only]
     1.7    theories [document = false] Setup
     1.8    theories Classes
     1.9  
    1.10 -session Codegen! in "Codegen/Thy" = "HOL-Library" +
    1.11 +session Codegen! (doc) in "Codegen/Thy" = "HOL-Library" +
    1.12    options [browser_info = false, document = false, document_dump = document, document_dump_only,
    1.13      print_mode = "no_brackets,iff"]
    1.14    theories [document = false] Setup
    1.15 @@ -16,11 +16,11 @@
    1.16      Adaptation
    1.17      Further
    1.18  
    1.19 -session Functions! in "Functions/Thy" = HOL +
    1.20 +session Functions! (doc) in "Functions/Thy" = HOL +
    1.21    options [browser_info = false, document = false, document_dump = document, document_dump_only]
    1.22    theories Functions
    1.23  
    1.24 -session IsarImplementation! in "IsarImplementation/Thy" = HOL +
    1.25 +session IsarImplementation! (doc) in "IsarImplementation/Thy" = HOL +
    1.26    options [browser_info = false, document = false, document_dump = document, document_dump_only]
    1.27    theories
    1.28      Eq
    1.29 @@ -34,7 +34,7 @@
    1.30      Syntax
    1.31      Tactic
    1.32  
    1.33 -session IsarRef in "IsarRef/Thy" = HOL +
    1.34 +session IsarRef (doc) in "IsarRef/Thy" = HOL +
    1.35    options [browser_info = false, document = false, document_dump = document, document_dump_only,
    1.36      quick_and_dirty]
    1.37    theories
    1.38 @@ -54,17 +54,17 @@
    1.39      Symbols
    1.40      ML_Tactic
    1.41  
    1.42 -session IsarRef in "IsarRef/Thy" = HOLCF +
    1.43 +session IsarRef (doc) in "IsarRef/Thy" = HOLCF +
    1.44    options [browser_info = false, document = false, document_dump = document, document_dump_only,
    1.45      quick_and_dirty]
    1.46    theories HOLCF_Specific
    1.47  
    1.48 -session IsarRef in "IsarRef/Thy" = ZF +
    1.49 +session IsarRef (doc) in "IsarRef/Thy" = ZF +
    1.50    options [browser_info = false, document = false, document_dump = document, document_dump_only,
    1.51      quick_and_dirty]
    1.52    theories ZF_Specific
    1.53  
    1.54 -session LaTeXsugar! in "LaTeXsugar/Sugar" = HOL +
    1.55 +session LaTeXsugar! (doc) in "LaTeXsugar/Sugar" = HOL +
    1.56    options [browser_info = false, document = false, document_dump = document, document_dump_only,
    1.57      threads = 1]  (* FIXME *)
    1.58    theories [document_dump = ""]
    1.59 @@ -72,18 +72,18 @@
    1.60      "~~/src/HOL/Library/OptionalSugar"
    1.61    theories Sugar
    1.62  
    1.63 -session Locales! in "Locales/Locales" = HOL +
    1.64 +session Locales! (doc) in "Locales/Locales" = HOL +
    1.65    options [browser_info = false, document = false, document_dump = document, document_dump_only]
    1.66    theories
    1.67      Examples1
    1.68      Examples2
    1.69      Examples3
    1.70  
    1.71 -session Main! in "Main/Docs" = HOL +
    1.72 +session Main! (doc) in "Main/Docs" = HOL +
    1.73    options [browser_info = false, document = false, document_dump = document, document_dump_only]
    1.74    theories Main_Doc
    1.75  
    1.76 -session ProgProve! in "ProgProve/Thys" = HOL +
    1.77 +session ProgProve! (doc) in "ProgProve/Thys" = HOL +
    1.78    options [browser_info = false, document = false, document_dump = document, document_dump_only,
    1.79      show_question_marks = false]
    1.80    theories
    1.81 @@ -94,7 +94,7 @@
    1.82      Logic
    1.83      Isar
    1.84  
    1.85 -session System! in "System/Thy" = Pure +
    1.86 +session System! (doc) in "System/Thy" = Pure +
    1.87    options [browser_info = false, document = false, document_dump = document, document_dump_only]
    1.88    theories
    1.89      Basics
    1.90 @@ -103,9 +103,9 @@
    1.91      Presentation
    1.92      Misc
    1.93  
    1.94 -(* session Tutorial in "Tutorial" = HOL + FIXME *)
    1.95 +(* session Tutorial (doc) in "Tutorial" = HOL + FIXME *)
    1.96  
    1.97 -session examples in "ZF" = ZF +
    1.98 +session examples (doc) in "ZF" = ZF +
    1.99    options [browser_info = false, document = false, document_dump = document, document_dump_only,
   1.100      print_mode = "brackets"]
   1.101    theories