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