equal
deleted
inserted
replaced
3 InstallPath="%UserDesktop%" |
3 InstallPath="%UserDesktop%" |
4 BeginPrompt="Unpack {ISABELLE_NAME}?" |
4 BeginPrompt="Unpack {ISABELLE_NAME}?" |
5 ExtractPathText="Target directory" |
5 ExtractPathText="Target directory" |
6 ExtractTitle="Unpacking {ISABELLE_NAME} ..." |
6 ExtractTitle="Unpacking {ISABELLE_NAME} ..." |
7 Shortcut="Du,{%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe},{},{},{},{{ISABELLE_NAME}},{%%T\{ISABELLE_NAME}}" |
7 Shortcut="Du,{%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe},{},{},{},{{ISABELLE_NAME}},{%%T\{ISABELLE_NAME}}" |
8 RunProgram="\"%%T\{ISABELLE_NAME}\contrib\jdk-7u21\x86-cygwin\jdk1.7.0_21\bin\javaw.exe\" -classpath \"%%T\{ISABELLE_NAME}\lib\classes\ext\Pure.jar;%%T\{ISABELLE_NAME}\lib\classes\ext\scala-library.jar;%%T\{ISABELLE_NAME}\lib\classes\ext\scala-swing.jar\" -D \"isabelle.home=\%%T\{ISABELLE_NAME}\"" |
8 RunProgram="\"%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe\" -i" |
9 ;!@InstallEnd@! |
9 ;!@InstallEnd@! |