changeset 48197 | b13dd10ebc77 |
parent 48196 | b7313810b6e6 |
child 48198 | 4cae75fa29f2 |
--- a/Admin/Cygwin/sfx.txt Thu Jul 05 17:18:55 2012 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,9 +0,0 @@ -;!@Install@!UTF-8! -GUIFlags="64" -InstallPath="%UserDesktop%" -BeginPrompt="Unpack Isabelle2012?" -ExtractPathText="Target directory" -ExtractTitle="Unpacking Isabelle2012 ..." -Shortcut="Du,{%%T\Isabelle2012\Isabelle.exe},{},{},{},{},{%%T\Isabelle2012}" -RunProgram="\"%%T\Isabelle2012\contrib\cygwin-1.7.9\init.bat\"" -;!@InstallEnd@!