--- a/doc-src/ROOT Thu Jul 26 11:52:08 2012 +0200
+++ b/doc-src/ROOT Thu Jul 26 12:27:47 2012 +0200
@@ -1,9 +1,9 @@
-session Classes! in "Classes/Thy" = HOL +
+session Classes! (doc) in "Classes/Thy" = HOL +
options [browser_info = false, document = false, document_dump = document, document_dump_only]
theories [document = false] Setup
theories Classes
-session Codegen! in "Codegen/Thy" = "HOL-Library" +
+session Codegen! (doc) in "Codegen/Thy" = "HOL-Library" +
options [browser_info = false, document = false, document_dump = document, document_dump_only,
print_mode = "no_brackets,iff"]
theories [document = false] Setup
@@ -16,11 +16,11 @@
Adaptation
Further
-session Functions! in "Functions/Thy" = HOL +
+session Functions! (doc) in "Functions/Thy" = HOL +
options [browser_info = false, document = false, document_dump = document, document_dump_only]
theories Functions
-session IsarImplementation! in "IsarImplementation/Thy" = HOL +
+session IsarImplementation! (doc) in "IsarImplementation/Thy" = HOL +
options [browser_info = false, document = false, document_dump = document, document_dump_only]
theories
Eq
@@ -34,7 +34,7 @@
Syntax
Tactic
-session IsarRef in "IsarRef/Thy" = HOL +
+session IsarRef (doc) in "IsarRef/Thy" = HOL +
options [browser_info = false, document = false, document_dump = document, document_dump_only,
quick_and_dirty]
theories
@@ -54,17 +54,17 @@
Symbols
ML_Tactic
-session IsarRef in "IsarRef/Thy" = HOLCF +
+session IsarRef (doc) in "IsarRef/Thy" = HOLCF +
options [browser_info = false, document = false, document_dump = document, document_dump_only,
quick_and_dirty]
theories HOLCF_Specific
-session IsarRef in "IsarRef/Thy" = ZF +
+session IsarRef (doc) in "IsarRef/Thy" = ZF +
options [browser_info = false, document = false, document_dump = document, document_dump_only,
quick_and_dirty]
theories ZF_Specific
-session LaTeXsugar! in "LaTeXsugar/Sugar" = HOL +
+session LaTeXsugar! (doc) in "LaTeXsugar/Sugar" = HOL +
options [browser_info = false, document = false, document_dump = document, document_dump_only,
threads = 1] (* FIXME *)
theories [document_dump = ""]
@@ -72,18 +72,18 @@
"~~/src/HOL/Library/OptionalSugar"
theories Sugar
-session Locales! in "Locales/Locales" = HOL +
+session Locales! (doc) in "Locales/Locales" = HOL +
options [browser_info = false, document = false, document_dump = document, document_dump_only]
theories
Examples1
Examples2
Examples3
-session Main! in "Main/Docs" = HOL +
+session Main! (doc) in "Main/Docs" = HOL +
options [browser_info = false, document = false, document_dump = document, document_dump_only]
theories Main_Doc
-session ProgProve! in "ProgProve/Thys" = HOL +
+session ProgProve! (doc) in "ProgProve/Thys" = HOL +
options [browser_info = false, document = false, document_dump = document, document_dump_only,
show_question_marks = false]
theories
@@ -94,7 +94,7 @@
Logic
Isar
-session System! in "System/Thy" = Pure +
+session System! (doc) in "System/Thy" = Pure +
options [browser_info = false, document = false, document_dump = document, document_dump_only]
theories
Basics
@@ -103,9 +103,9 @@
Presentation
Misc
-(* session Tutorial in "Tutorial" = HOL + FIXME *)
+(* session Tutorial (doc) in "Tutorial" = HOL + FIXME *)
-session examples in "ZF" = ZF +
+session examples (doc) in "ZF" = ZF +
options [browser_info = false, document = false, document_dump = document, document_dump_only,
print_mode = "brackets"]
theories