| author | haftmann |
| Thu, 11 Oct 2012 11:56:43 +0200 | |
| changeset 49824 | c26665a197dc |
| parent 48197 | b13dd10ebc77 |
| child 50810 | 76967aa4fe84 |
| permissions | -rw-r--r-- |
;!@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@!