changeset 61827 | 31054660f285 |
parent 60005 | e1d8c5099bef |
child 61889 | 42d902e074e8 |
61826:6f9e5fb0683f | 61827:31054660f285 |
---|---|
2 # |
2 # |
3 # DESCRIPTION: produce pre-canned Cygwin distribution for Isabelle |
3 # DESCRIPTION: produce pre-canned Cygwin distribution for Isabelle |
4 |
4 |
5 ## global parameters |
5 ## global parameters |
6 |
6 |
7 CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2015" |
7 CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2016" |
8 |
8 |
9 |
9 |
10 ## diagnostics |
10 ## diagnostics |
11 |
11 |
12 PRG=$(basename "$0") |
12 PRG=$(basename "$0") |