src/Doc/ROOT
changeset 53769 036e80175bdd
parent 53618 4161d2b96b8c
child 54017 2a3c07f49615
     1.1 --- a/src/Doc/ROOT	Sat Sep 21 12:03:51 2013 +0200
     1.2 +++ b/src/Doc/ROOT	Sat Sep 21 13:05:54 2013 +0200
     1.3 @@ -143,6 +143,23 @@
     1.4      "document/showsymbols"
     1.5      "document/style.sty"
     1.6  
     1.7 +session JEdit (doc) in "JEdit" = Pure +
     1.8 +  options [document_variants = "jedit", thy_output_source]
     1.9 +  theories
    1.10 +    JEdit
    1.11 +  files
    1.12 +    "../prepare_document"
    1.13 +    "../IsarRef/document/style.sty"
    1.14 +    "../pdfsetup.sty"
    1.15 +    "../iman.sty"
    1.16 +    "../extra.sty"
    1.17 +    "../isar.sty"
    1.18 +    "../ttbox.sty"
    1.19 +    "../underscore.sty"
    1.20 +    "../manual.bib"
    1.21 +    "document/build"
    1.22 +    "document/root.tex"
    1.23 +
    1.24  session LaTeXsugar (doc) in "LaTeXsugar" = HOL +
    1.25    options [document_variants = "sugar"]
    1.26    theories [document = ""]