diff -r 3e17f343deb5 -r c5d0f19ef7cb doc-src/ROOT --- a/doc-src/ROOT Thu Jul 26 14:24:27 2012 +0200 +++ b/doc-src/ROOT Thu Jul 26 14:29:54 2012 +0200 @@ -1,10 +1,12 @@ session Classes! (doc) in "Classes/Thy" = HOL + - options [browser_info = false, document = false, document_dump = document, document_dump_only] + options [browser_info = false, document = false, + document_dump = document, document_dump_mode = "tex"] theories [document = false] Setup theories Classes session Codegen! (doc) in "Codegen/Thy" = "HOL-Library" + - options [browser_info = false, document = false, document_dump = document, document_dump_only, + options [browser_info = false, document = false, + document_dump = document, document_dump_mode = "tex", print_mode = "no_brackets,iff"] theories [document = false] Setup theories @@ -17,11 +19,13 @@ Further session Functions! (doc) in "Functions/Thy" = HOL + - options [browser_info = false, document = false, document_dump = document, document_dump_only] + options [browser_info = false, document = false, + document_dump = document, document_dump_mode = "tex"] theories Functions session IsarImplementation! (doc) in "IsarImplementation/Thy" = HOL + - options [browser_info = false, document = false, document_dump = document, document_dump_only] + options [browser_info = false, document = false, + document_dump = document, document_dump_mode = "tex"] theories Eq Integration @@ -35,7 +39,8 @@ Tactic session IsarRef (doc) in "IsarRef/Thy" = HOL + - options [browser_info = false, document = false, document_dump = document, document_dump_only, + options [browser_info = false, document = false, + document_dump = document, document_dump_mode = "tex", quick_and_dirty] theories Preface @@ -55,17 +60,20 @@ ML_Tactic session IsarRef (doc) in "IsarRef/Thy" = HOLCF + - options [browser_info = false, document = false, document_dump = document, document_dump_only, + options [browser_info = false, document = false, + document_dump = document, document_dump_mode = "tex", quick_and_dirty] theories HOLCF_Specific session IsarRef (doc) in "IsarRef/Thy" = ZF + - options [browser_info = false, document = false, document_dump = document, document_dump_only, + options [browser_info = false, document = false, + document_dump = document, document_dump_mode = "tex", quick_and_dirty] theories ZF_Specific session LaTeXsugar! (doc) in "LaTeXsugar/Sugar" = HOL + - options [browser_info = false, document = false, document_dump = document, document_dump_only, + options [browser_info = false, document = false, + document_dump = document, document_dump_mode = "tex", threads = 1] (* FIXME *) theories [document_dump = ""] "~~/src/HOL/Library/LaTeXsugar" @@ -73,18 +81,21 @@ theories Sugar session Locales! (doc) in "Locales/Locales" = HOL + - options [browser_info = false, document = false, document_dump = document, document_dump_only] + options [browser_info = false, document = false, + document_dump = document, document_dump_mode = "tex"] theories Examples1 Examples2 Examples3 session Main! (doc) in "Main/Docs" = HOL + - options [browser_info = false, document = false, document_dump = document, document_dump_only] + options [browser_info = false, document = false, + document_dump = document, document_dump_mode = "tex"] theories Main_Doc session ProgProve! (doc) in "ProgProve/Thys" = HOL + - options [browser_info = false, document = false, document_dump = document, document_dump_only, + options [browser_info = false, document = false, + document_dump = document, document_dump_mode = "tex", show_question_marks = false] theories Basics @@ -95,7 +106,8 @@ Isar session System! (doc) in "System/Thy" = Pure + - options [browser_info = false, document = false, document_dump = document, document_dump_only] + options [browser_info = false, document = false, + document_dump = document, document_dump_mode = "tex"] theories Basics Interfaces @@ -106,7 +118,8 @@ (* session Tutorial (doc) in "Tutorial" = HOL + FIXME *) session examples (doc) in "ZF" = ZF + - options [browser_info = false, document = false, document_dump = document, document_dump_only, + options [browser_info = false, document = false, + document_dump = document, document_dump_mode = "tex", print_mode = "brackets"] theories IFOL_examples