# HG changeset patch
# User wenzelm
# Date 1440172390 -7200
# Node ID 25e8efae71d7323c977d6b0dd023a3f0943b12bb
# Parent  5176de8f90dbc8a4507adbda8b33fe22130a70a8
proper classpath for launcher;
proper use of jdk/x86-windows;
misc tuning;

diff -r 5176de8f90db -r 25e8efae71d7 Admin/Windows/launch4j/isabelle.bmp
Binary file Admin/Windows/launch4j/isabelle.bmp has changed
diff -r 5176de8f90db -r 25e8efae71d7 Admin/Windows/launch4j/isabelle.xml
--- a/Admin/Windows/launch4j/isabelle.xml	Fri Aug 21 16:47:57 2015 +0200
+++ b/Admin/Windows/launch4j/isabelle.xml	Fri Aug 21 17:53:10 2015 +0200
@@ -10,7 +10,7 @@
   <priority>normal</priority>
   <downloadUrl></downloadUrl>
   <supportUrl></supportUrl>
-  <stayAlive>true</stayAlive>
+  <stayAlive>false</stayAlive>
   <restartOnCrash>false</restartOnCrash>
   <manifest></manifest>
   <icon>{ICON}</icon>
@@ -19,17 +19,13 @@
 {CLASSPATH}
   </classPath>
   <jre>
-    <path>%EXEDIR%\contrib\jdk\x86-cygwin\jre</path>
+    <path>%EXEDIR%\contrib\jdk\x86-windows\jre</path>
     <bundledJre64Bit>false</bundledJre64Bit>
     <bundledJreAsFallback>false</bundledJreAsFallback>
     <minVersion></minVersion>
     <maxVersion></maxVersion>
     <jdkPreference>jdkOnly</jdkPreference>
     <runtimeBits>64/32</runtimeBits>
-    <initialHeapSize>128</initialHeapSize>
-    <initialHeapPercent>20</initialHeapPercent>
-    <maxHeapSize>1024</maxHeapSize>
-    <maxHeapPercent>50</maxHeapPercent>
     <opt>-Disabelle.home=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\\contrib\\cygwin&quot;</opt>
   </jre>
   <splash>
diff -r 5176de8f90db -r 25e8efae71d7 Admin/lib/Tools/makedist_bundle
--- a/Admin/lib/Tools/makedist_bundle	Fri Aug 21 16:47:57 2015 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Fri Aug 21 17:53:10 2015 +0200
@@ -12,7 +12,7 @@
   echo "Usage: isabelle $PRG ARCHIVE PLATFORM_FAMILY"
   echo
   echo "  Re-package Isabelle source distribution with add-on components"
-  echo "  and post-hoc patches for platform family linux, macos, windows."
+  echo "  and post-hoc patches for platform family linux, windows, macos."
   echo
   echo "  Add-on components are that of the running Isabelle version!"
   echo
@@ -212,8 +212,8 @@
       "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
     ;;
   windows)
-    purge_contrib '-name "x86*-linux" -o -name "x86*-darwin"'
-    purge_jdk "x86-cygwin"
+    purge_contrib '-name x86_64-windows -o -name "x86*-linux" -o -name "x86*-darwin"'
+    purge_jdk "x86-windows"
     mv "$ISABELLE_TARGET/contrib/windows_app" "$TMP/."
 
     perl -pi \
@@ -222,7 +222,7 @@
       "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
 
     (
-      echo -e "# Java runtime options"
+      echo -e "# Java runtime options\r"
       declare -a JAVA_ARGS=()
       eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS)"
       for ARG in "${JAVA_ARGS[@]}"
@@ -240,7 +240,7 @@
         for ENTRY in "${DISTRIBITION_CLASSPATH[@]}"
         do
           ENTRY=$(echo "$ENTRY" | perl -p -e 's,/,\\\\,g;')
-          echo "    <cp>$ENTRY</cp>"
+          echo "    <cp>%EXEDIR%\\\\$ENTRY</cp>"
         done
       ) > exe_classpath
       EXE_CLASSPATH="$(cat exe_classpath)"