# HG changeset patch
# User wenzelm
# Date 1379776127 -7200
# Node ID 36703fcea740013131d1fc95bc4a57f95fc30aca
# Parent  30de372ca56ffa2d24c3b09f70800c8028aec22f
added canonical screenshot;

diff -r 30de372ca56f -r 36703fcea740 src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Sat Sep 21 16:44:31 2013 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Sat Sep 21 17:08:47 2013 +0200
@@ -38,6 +38,8 @@
 section {* The Isabelle/jEdit Prover IDE *}
 
 text {*
+  \includegraphics[width=\textwidth]{isabelle-jedit}
+
   Isabelle/jEdit consists of some plugins for the well-known jEdit text
   editor \url{http://www.jedit.org}, according to the following
   principles.
diff -r 30de372ca56f -r 36703fcea740 src/Doc/JEdit/document/isabelle-jedit.png
Binary file src/Doc/JEdit/document/isabelle-jedit.png has changed