--- a/src/Doc/JEdit/document/build Sat Sep 21 17:18:26 2013 +0200
+++ b/src/Doc/JEdit/document/build Sat Sep 21 17:20:08 2013 +0200
@@ -5,7 +5,7 @@
FORMAT="$1"
VARIANT="$2"
-"$ISABELLE_TOOL" logo PIDE
+"$ISABELLE_TOOL" logo jEdit
cp "$ISABELLE_HOME/src/Doc/IsarRef/document/style.sty" .
cp "$ISABELLE_HOME/src/Doc/iman.sty" .
--- a/src/Doc/JEdit/document/root.tex Sat Sep 21 17:18:26 2013 +0200
+++ b/src/Doc/JEdit/document/root.tex Sat Sep 21 17:20:08 2013 +0200
@@ -15,7 +15,7 @@
\isabellestyle{literal}
-\title{\includegraphics[scale=0.5]{isabelle_pide} \\[4ex] Isabelle/jEdit}
+\title{\includegraphics[scale=0.5]{isabelle_jedit} \\[4ex] Isabelle/jEdit}
\author{\emph{Makarius Wenzel}}