
diff -r 9e1de6fb9579 -r 1bbbaae6b5e3 src/Doc/JEdit/document/root.tex
--- a/src/Doc/JEdit/document/root.tex	Mon May 17 23:38:16 2021 +0200
+++ b/src/Doc/JEdit/document/root.tex	Tue May 18 15:17:55 2021 +0200
@@ -20,7 +20,7 @@
 \isabellestyle{literal}
 \def\isastylett{\footnotesize\tt}
 
-\title{\includegraphics[scale=0.5]{isabelle_jedit} \\[4ex] Isabelle/jEdit}
+\title{\includegraphics[scale=0.5]{isabelle_logo} \\[4ex] Isabelle/jEdit}
 
 \author{\emph{Makarius Wenzel}}
 




