Admin/Windows/Cygwin/sfx.txt
changeset 48197 b13dd10ebc77
parent 47875 5b3cdfaedba3
child 50810 76967aa4fe84
equal deleted inserted replaced
48196:b7313810b6e6 48197:b13dd10ebc77
       
     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@!