# 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