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.
allow spaces in target directory;
authorwenzelm
Wed, 09 May 2012 16:46:12 +0200
changeset 47875 5b3cdfaedba3
parent 47874 e46e9900e350
child 47876 0521ee2e504d
allow spaces in target directory;
Admin/Cygwin/sfx.txt file | annotate | diff | comparison | revisions 
--- a/Admin/Cygwin/sfx.txt	Mon May 07 21:38:12 2012 +0200
+++ b/Admin/Cygwin/sfx.txt	Wed May 09 16:46:12 2012 +0200
@@ -5,5 +5,5 @@
 ExtractPathText="Target directory"
 ExtractTitle="Unpacking Isabelle2012 ..."
 Shortcut="Du,{%%T\Isabelle2012\Isabelle.exe},{},{},{},{},{%%T\Isabelle2012}"
-RunProgram="%%T\Isabelle2012\contrib\cygwin-1.7.9\init.bat"
+RunProgram="\"%%T\Isabelle2012\contrib\cygwin-1.7.9\init.bat\""
 ;!@InstallEnd@!
isabelle