--- a/Admin/Windows/launch4j/isabelle.xml Fri Sep 11 14:53:05 2015 +0200
+++ b/Admin/Windows/launch4j/isabelle.xml Fri Sep 11 21:27:23 2015 +0200
@@ -18,6 +18,10 @@
<mainClass>isabelle.Main</mainClass>
{CLASSPATH}
</classPath>
+ <singleInstance>
+ <mutexName>{ISABELLE_NAME}</mutexName>
+ <windowTitle>{ISABELLE_NAME}</windowTitle>
+ </singleInstance>
<jre>
<path>%EXEDIR%\contrib\jdk\{PLATFORM}\jre</path>
<bundledJre64Bit>{PLATFORM_IS_64}</bundledJre64Bit>
--- a/Admin/lib/Tools/makedist_bundle Fri Sep 11 14:53:05 2015 +0200
+++ b/Admin/lib/Tools/makedist_bundle Fri Sep 11 21:27:23 2015 +0200
@@ -290,6 +290,7 @@
-e "s,{ICON},$APP_TEMPLATE/isabelle_transparent.ico,g;" \
-e "s,{SPLASH},$APP_TEMPLATE/isabelle.bmp,g;" \
-e "s,{CLASSPATH},$EXE_CLASSPATH,g;" \
+ -e "s,{ISABELLE_NAME},$ISABELLE_NAME,g;" \
-e "s,{PLATFORM},$PLATFORM,g;" \
-e "s,{PLATFORM_IS_64},$PLATFORM_IS_64,g;" \
-e "s,{PLATFORM_BITS},$PLATFORM_BITS,g;" \