# HG changeset patch
# User wenzelm
# Date 1554466119 -7200
# Node ID e7a01bbe789bdcebcef7603167539975d99dec0e
# Parent  5b75480f371a8f672a0c199e9cc4c52a84d3556f
updated screenshot;

diff -r 5b75480f371a -r e7a01bbe789b src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Thu Apr 04 23:05:53 2019 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Fri Apr 05 14:08:39 2019 +0200
@@ -64,7 +64,7 @@
 text \<open>
   \begin{figure}[!htb]
   \begin{center}
-  \includegraphics[scale=0.333]{isabelle-jedit}
+  \includegraphics[scale=0.3]{isabelle-jedit}
   \end{center}
   \caption{The Isabelle/jEdit Prover IDE}
   \label{fig:isabelle-jedit}
diff -r 5b75480f371a -r e7a01bbe789b src/Doc/JEdit/document/isabelle-jedit.png
Binary file src/Doc/JEdit/document/isabelle-jedit.png has changed