doc/Contents
changeset 53769 036e80175bdd
parent 52792 3e651be14fcd
child 56423 c2f52824dbb2
     1.1 --- a/doc/Contents	Sat Sep 21 12:03:51 2013 +0200
     1.2 +++ b/doc/Contents	Sat Sep 21 13:05:54 2013 +0200
     1.3 @@ -15,6 +15,7 @@
     1.4    isar-ref        The Isabelle/Isar Reference Manual
     1.5    implementation  The Isabelle/Isar Implementation Manual
     1.6    system          The Isabelle System Manual
     1.7 +  jedit           Isabelle/jEdit
     1.8  
     1.9  Old Manuals (outdated)
    1.10    intro           Old Introduction to Isabelle