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/README
changeset 77577 f78286d2e30f
parent 76028 105867f98630
child 78304 e4b57eea7f86
equal deleted inserted replaced
77575:72a99b54e206 77577:f78286d2e30f 
    52   Redirect /cygwin_2021-1/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
 
    52   Redirect /cygwin_2021-1/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
 
    53   Redirect /cygwin_2022/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
 
    53   Redirect /cygwin_2022/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
 
    54   Redirect /cygwin_2022/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
 
    54   Redirect /cygwin_2022/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
 
    55 ```
 
    55 ```
 
    56 
    56 
    57 * Quasi-component: "isabelle build_cygwin" (as Administrator)
 
    57 * Quasi-component: "isabelle component_cygwin" (as Administrator)
 
    58 
    58 
    59 * SSH server:
 
    59 * SSH server:
 
    60 
    60 
    61   - run Cygwin terminal as Administrator
 
    61   - run Cygwin terminal as Administrator
 
    62 
    62
isabelle