# HG changeset patch
# User wenzelm
# Date 1379776808 -7200
# Node ID ab1ae01b41bc2071ce2095891a62b92d4c3f28b0
# Parent  729a43c36ccbbd2c1582175925af9505fe9fc5f4
clarified logo;

diff -r 729a43c36ccb -r ab1ae01b41bc src/Doc/JEdit/document/build
--- 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" .
diff -r 729a43c36ccb -r ab1ae01b41bc src/Doc/JEdit/document/root.tex
--- 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}}