# HG changeset patch
# User wenzelm
# Date 1441999643 -7200
# Node ID 12a72ca8329d61c86d1414af7ed8c76053127f06
# Parent  da900891ee06d8acd6f39f336e435529abf52726
single-instance application on Windows;

diff -r da900891ee06 -r 12a72ca8329d Admin/Windows/launch4j/isabelle.xml
--- 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>
diff -r da900891ee06 -r 12a72ca8329d Admin/lib/Tools/makedist_bundle
--- 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;" \