equal
deleted
inserted
replaced
1 ;!@Install@!UTF-8! |
1 ;!@Install@!UTF-8! |
2 GUIFlags="64" |
2 GUIFlags="64" |
3 InstallPath="%UserDesktop%" |
3 InstallPath="%UserDesktop%" |
4 BeginPrompt="Unpack Isabelle2012?" |
4 BeginPrompt="Unpack Isabelle2013?" |
5 ExtractPathText="Target directory" |
5 ExtractPathText="Target directory" |
6 ExtractTitle="Unpacking Isabelle2012 ..." |
6 ExtractTitle="Unpacking Isabelle2013 ..." |
7 Shortcut="Du,{%%T\Isabelle2012\Isabelle.exe},{},{},{},{},{%%T\Isabelle2012}" |
7 Shortcut="Du,{%%T\Isabelle2013\Isabelle2013.exe},{},{},{},{},{%%T\Isabelle2013}" |
8 RunProgram="\"%%T\Isabelle2012\contrib\cygwin-1.7.9\init.bat\"" |
8 RunProgram="\"%%T\Isabelle2013\cygwin\init.bat\"" |
9 ;!@InstallEnd@! |
9 ;!@InstallEnd@! |