Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use windows_app based on WinRun4J;
authorwenzelm
Sun, 08 Sep 2013 18:10:12 +0200
changeset 53472 ad284595e3a8
parent 53471 66df4b76e58f
child 53473 28ba604926f1
use windows_app based on WinRun4J;
Admin/components/bundled-windows file | annotate | diff | comparison | revisions
Admin/lib/Tools/makedist_bundle file | annotate | diff | comparison | revisions 
--- a/Admin/components/bundled-windows	Sun Sep 08 17:51:56 2013 +0200
+++ b/Admin/components/bundled-windows	Sun Sep 08 18:10:12 2013 +0200
@@ -1,3 +1,3 @@
 #additional components to be bundled for release
 cygwin-20130117
-windows_app-20130906
+windows_app-20130908
--- a/Admin/lib/Tools/makedist_bundle	Sun Sep 08 17:51:56 2013 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Sun Sep 08 18:10:12 2013 +0200
@@ -153,7 +153,9 @@
       "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
 
     cp "$TMP/windows_app/Isabelle.exe" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe"
-    cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
+    cp "$ISABELLE_HOME/Admin/Windows/WinRun4J/Isabelle.ini" "$ISABELLE_TARGET/${ISABELLE_NAME}.ini"
+    cp "$ISABELLE_HOME/Admin/Windows/WinRun4J/isabelle.bmp" \
+      "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
       "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat" \
       "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET"
isabelle