src/Doc/ROOT
changeset 56420 b266e7a86485
parent 55385 169e12bbf9a3
child 56451 856492b0f755
     1.1 --- a/src/Doc/ROOT	Sat Apr 05 17:52:29 2014 +0100
     1.2 +++ b/src/Doc/ROOT	Sat Apr 05 11:37:00 2014 +0200
     1.3 @@ -82,7 +82,7 @@
     1.4      "document/build"
     1.5      "document/root.tex"
     1.6  
     1.7 -session IsarImplementation (doc) in "IsarImplementation" = "HOL-Proofs" +
     1.8 +session Implementation (doc) in "Implementation" = "HOL-Proofs" +
     1.9    options [document_variants = "implementation"]
    1.10    theories
    1.11      Eq
    1.12 @@ -109,7 +109,7 @@
    1.13      "document/root.tex"
    1.14      "document/style.sty"
    1.15  
    1.16 -session IsarRef (doc) in "IsarRef" = HOL +
    1.17 +session "Isar-Ref" (doc) in "Isar-Ref" = HOL +
    1.18    options [document_variants = "isar-ref", quick_and_dirty, thy_output_source]
    1.19    theories
    1.20      Preface
    1.21 @@ -148,7 +148,7 @@
    1.22    theories
    1.23      JEdit
    1.24    files
    1.25 -    "../IsarRef/document/style.sty"
    1.26 +    "../Isar-Ref/document/style.sty"
    1.27      "../extra.sty"
    1.28      "../iman.sty"
    1.29      "../isar.sty"
    1.30 @@ -163,7 +163,7 @@
    1.31      "document/popup2.png"
    1.32      "document/root.tex"
    1.33  
    1.34 -session LaTeXsugar (doc) in "LaTeXsugar" = HOL +
    1.35 +session Sugar (doc) in "Sugar" = HOL +
    1.36    options [document_variants = "sugar"]
    1.37    theories [document = ""]
    1.38      "~~/src/HOL/Library/LaTeXsugar"
    1.39 @@ -208,7 +208,7 @@
    1.40      "document/root.tex"
    1.41      "document/syntax.tex"
    1.42  
    1.43 -session "Logics-ZF" (doc) in "ZF" = ZF +
    1.44 +session "Logics-ZF" (doc) in "Logics-ZF" = ZF +
    1.45    options [document_variants = "logics-ZF", print_mode = "brackets",
    1.46      thy_output_source]
    1.47    theories
    1.48 @@ -247,7 +247,7 @@
    1.49      "document/build"
    1.50      "document/root.tex"
    1.51  
    1.52 -session ProgProve (doc) in "ProgProve" = HOL +
    1.53 +session "Prog-Prove" (doc) in "Prog-Prove" = HOL +
    1.54    options [document_variants = "prog-prove", show_question_marks = false]
    1.55    theories
    1.56      Basics
    1.57 @@ -290,7 +290,7 @@
    1.58      Misc
    1.59    files
    1.60      "../prepare_document"
    1.61 -    "../IsarRef/document/style.sty"
    1.62 +    "../Isar-Ref/document/style.sty"
    1.63      "../pdfsetup.sty"
    1.64      "../iman.sty"
    1.65      "../extra.sty"