changeset 70062 | e7a01bbe789b |
parent 69854 | cc0b3e177b49 |
child 70073 | 6b0e4ba2062c |
--- 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}