Admin/Cygwin/sfx.txt
changeset 47838 47d213b10fd7
child 47873 1636ff4c6243
equal deleted inserted replaced
47837:ddc7921701c5 47838:47d213b10fd7
       
     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 ;!@InstallEnd@!