Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added canonical screenshot;
authorwenzelm
Sat, 21 Sep 2013 17:08:47 +0200
changeset 53773 36703fcea740
parent 53772 30de372ca56f
child 53774 729a43c36ccb
added canonical screenshot;
src/Doc/JEdit/JEdit.thy file | annotate | diff | comparison | revisions
src/Doc/JEdit/document/isabelle-jedit.png file | annotate | diff | comparison | revisions 
--- 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.
Binary file src/Doc/JEdit/document/isabelle-jedit.png has changed
isabelle