Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to cygwin-20140725, which is presumably close to Cygwin 1.7.31-1;
authorwenzelm
Fri, 25 Jul 2014 20:55:57 +0200
changeset 57688 66383b68d172
parent 57687 cca7e8788481
child 57689 e189ba8a64b9
updated to cygwin-20140725, which is presumably close to Cygwin 1.7.31-1;
Admin/Windows/Cygwin/README file | annotate | diff | comparison | revisions
Admin/components/bundled-windows file | annotate | diff | comparison | revisions
Admin/components/components.sha1 file | annotate | diff | comparison | revisions 
--- a/Admin/Windows/Cygwin/README	Fri Jul 25 18:41:53 2014 +0200
+++ b/Admin/Windows/Cygwin/README	Fri Jul 25 20:55:57 2014 +0200
@@ -12,5 +12,4 @@
   http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1 and Isabelle2013-2)
   http://isabelle.in.tum.de/cygwin_2014  (Isabelle2014)
 
-* Quasi-component: "isabelle makedist_cygwin"
-
+* Quasi-component: "isabelle makedist_cygwin" (as administrator)
--- a/Admin/components/bundled-windows	Fri Jul 25 18:41:53 2014 +0200
+++ b/Admin/components/bundled-windows	Fri Jul 25 20:55:57 2014 +0200
@@ -1,3 +1,3 @@
 #additional components to be bundled for release
-cygwin-20140626
+cygwin-20140725
 windows_app-20131201
--- a/Admin/components/components.sha1	Fri Jul 25 18:41:53 2014 +0200
+++ b/Admin/components/components.sha1	Fri Jul 25 20:55:57 2014 +0200
@@ -8,6 +8,7 @@
 db4dedae026981c5f001be283180abc1962b79ad  cygwin-20140521.tar.gz
 acbc4bf161ad21e96ecfe506266ccdbd288f8a6f  cygwin-20140530.tar.gz
 3dc680d9eb85276e8c3e9f6057dad0efe2d5aa41  cygwin-20140626.tar.gz
+8e562dfe57a2f894f9461f4addedb88afa108152  cygwin-20140725.tar.gz
 0fe549949a025d65d52d6deca30554de8fca3b6e  e-1.5.tar.gz
 2e293256a134eb8e5b1a283361b15eb812fbfbf1  e-1.6-1.tar.gz
 e1919e72416cbd7ac8de5455caba8901acc7b44d  e-1.6-2.tar.gz
isabelle