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.
merged
authorpaulson
Fri, 05 Apr 2019 15:02:55 +0100
changeset 70066 5caac4547e3b
parent 70062 e7a01bbe789b (diff)
parent 70065 cc89a395b5a3 (current diff)
child 70067 9b34dbeb1103
merged
--- 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}
Binary file src/Doc/JEdit/document/isabelle-jedit.png has changed
isabelle