# HG changeset patch
# User paulson
# Date 1554472975 -3600
# Node ID 5caac4547e3b4b9836cb77c0e7aec12ea1155c23
# Parent  e7a01bbe789bdcebcef7603167539975d99dec0e# Parent  cc89a395b5a3a9c30d4928b13c2702fa8a68ce45
merged

diff -r cc89a395b5a3 -r 5caac4547e3b src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Fri Apr 05 15:02:46 2019 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Fri Apr 05 15:02:55 2019 +0100
@@ -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 cc89a395b5a3 -r 5caac4547e3b src/Doc/JEdit/document/isabelle-jedit.png
Binary file src/Doc/JEdit/document/isabelle-jedit.png has changed