Admin/lib/Tools/makedist_bundle

--- a/Admin/lib/Tools/makedist_bundle	Sun Dec 01 13:54:41 2013 +0100
+++ b/Admin/lib/Tools/makedist_bundle	Sun Dec 01 14:09:33 2013 +0100
@@ -147,6 +147,9 @@
 
 # platform-specific setup (inside archive)
 
+perl -pi -e "s,view.title=Isabelle/jEdit,view.title=${ISABELLE_NAME},g;" \
+  "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
+
 case "$PLATFORM_FAMILY" in
   linux)
     purge_contrib '-name "x86*-darwin" -o -name "x86*-cygwin" -o -name "x86*-windows"'