doc-src/ROOT
changeset 48948 fa49f8890ef3
parent 48947 7eee8b2d2099
child 48949 a773af3e37d6
     1.1 --- a/doc-src/ROOT	Mon Aug 27 22:00:04 2012 +0200
     1.2 +++ b/doc-src/ROOT	Mon Aug 27 22:14:17 2012 +0200
     1.3 @@ -18,10 +18,20 @@
     1.4      Adaptation
     1.5      Further
     1.6  
     1.7 -session Functions (doc) in "Functions/Thy" = HOL +
     1.8 -  options [browser_info = false, document = false,
     1.9 -    document_dump = document, document_dump_mode = "tex"]
    1.10 +session Functions (doc) in "Functions" = HOL +
    1.11 +  options [document_variants = "functions"]
    1.12    theories Functions
    1.13 +  files
    1.14 +    "../iman.sty"
    1.15 +    "../extra.sty"
    1.16 +    "../isar.sty"
    1.17 +    "../manual.bib"
    1.18 +    "document/build"
    1.19 +    "document/conclusion.tex"
    1.20 +    "document/intro.tex"
    1.21 +    "document/mathpartir.sty"
    1.22 +    "document/root.tex"
    1.23 +    "document/style.sty"
    1.24  
    1.25  session IsarImplementation (doc) in "IsarImplementation" = HOL +
    1.26    options [document_variants = "implementation"]