doc/Contents

--- a/doc/Contents	Sat Sep 21 12:03:51 2013 +0200
+++ b/doc/Contents	Sat Sep 21 13:05:54 2013 +0200
@@ -15,6 +15,7 @@
   isar-ref        The Isabelle/Isar Reference Manual
   implementation  The Isabelle/Isar Implementation Manual
   system          The Isabelle System Manual
+  jedit           Isabelle/jEdit
 
 Old Manuals (outdated)
   intro           Old Introduction to Isabelle