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