Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Windows/Cygwin/sfx.txt
changeset 50831 7784cc660580
parent 50810 76967aa4fe84
child 50835 13942abebcd3
equal deleted inserted replaced
50818:5d4852f1b952 50831:7784cc660580 
     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},{},{},{},{},{%%T\Isabelle2013}"
 
     8 RunProgram="\"%%T\Isabelle2013\cygwin\init.bat\""
 
     8 RunProgram="\"%%T\Isabelle2013\contrib\cygwin\init.bat\""
 
     9 ;!@InstallEnd@!
 
     9 ;!@InstallEnd@!
isabelle