no choice of target directory -- default file permissions outside user directory tend to be ill-defined for Cygwin;
;!@Install@!UTF-8!
GUIFlags="64"
InstallPath="%UserDesktop%"
ExtractTitle="Unpacking %%T\Isabelle2013 ..."
Shortcut="Du,{%%T\Isabelle2013\Isabelle2013.exe},{},{},{},{Isabelle2013},{%%T\Isabelle2013}"
RunProgram="\"%%T\Isabelle2013\contrib\cygwin\isabelle\init.bat\""
;!@InstallEnd@!