Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/manual.bib
changeset 57320 00f2c8d1aa0b
parent 57246 62746a41cc0c
child 57420 8103a3f6f342 
--- a/src/Doc/manual.bib	Mon Jun 09 19:55:58 2014 +0200
+++ b/src/Doc/manual.bib	Mon Jun 09 20:41:00 2014 +0200
@@ -1784,6 +1784,12 @@
   institution	= {TU Munich},
   note          = {\url{http://isabelle.in.tum.de/doc/system.pdf}}}
 
+@manual{isabelle-jedit,
+  author	= {Makarius Wenzel},
+  title		= {{Isabelle/jEdit}},
+  institution	= {TU Munich},
+  note          = {\url{http://isabelle.in.tum.de/doc/jedit.pdf}}}
+
 @manual{isabelle-isar-ref,
   author	= {Makarius Wenzel},
   title		= {The {Isabelle/Isar} Reference Manual},
isabelle