Mercurial Mercurial > repos > isabelle / diff
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/lib/Tools/makedist_cygwin
changeset 64344 c1695143de35
parent 63490 9416333a17c2 
--- a/Admin/lib/Tools/makedist_cygwin	Sat Oct 22 13:11:37 2016 +0200
+++ b/Admin/lib/Tools/makedist_cygwin	Sat Oct 22 13:41:18 2016 +0200
@@ -4,7 +4,7 @@
 
 ## global parameters
 
-CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2016"
+CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2016-1"
 
 
 ## diagnostics
isabelle