| author | wenzelm |
| Mon, 07 May 2012 20:35:53 +0200 | |
| changeset 48744 | 1636ff4c6243 |
| parent 48709 | 47d213b10fd7 |
| child 48746 | 5b3cdfaedba3 |
| permissions | -rw-r--r-- |
1 ;!@Install@!UTF-8!
2 GUIFlags="64"
3 InstallPath="%UserDesktop%"
4 BeginPrompt="Unpack Isabelle2012?"
5 ExtractPathText="Target directory"
6 ExtractTitle="Unpacking Isabelle2012 ..."
7 Shortcut="Du,{%%T\Isabelle2012\Isabelle.exe},{},{},{},{},{%%T\Isabelle2012}"
8 RunProgram="%%T\Isabelle2012\contrib\cygwin-1.7.9\init.bat"
9 ;!@InstallEnd@!