src/Doc/ROOT

--- a/src/Doc/ROOT	Sat Sep 21 12:03:51 2013 +0200
+++ b/src/Doc/ROOT	Sat Sep 21 13:05:54 2013 +0200
@@ -143,6 +143,23 @@
     "document/showsymbols"
     "document/style.sty"
 
+session JEdit (doc) in "JEdit" = Pure +
+  options [document_variants = "jedit", thy_output_source]
+  theories
+    JEdit
+  files
+    "../prepare_document"
+    "../IsarRef/document/style.sty"
+    "../pdfsetup.sty"
+    "../iman.sty"
+    "../extra.sty"
+    "../isar.sty"
+    "../ttbox.sty"
+    "../underscore.sty"
+    "../manual.bib"
+    "document/build"
+    "document/root.tex"
+
 session LaTeXsugar (doc) in "LaTeXsugar" = HOL +
   options [document_variants = "sugar"]
   theories [document = ""]