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-20130117;
authorwenzelm
Thu, 17 Jan 2013 18:16:20 +0100
changeset 50959 3e8835c53c5b
parent 50958 af59600d8955
child 50960 5210e1b156e3
updated to cygwin-20130117;
Admin/components/bundled-windows file | annotate | diff | comparison | revisions
Admin/components/components.sha1 file | annotate | diff | comparison | revisions 
--- a/Admin/components/bundled-windows	Thu Jan 17 17:51:43 2013 +0100
+++ b/Admin/components/bundled-windows	Thu Jan 17 18:16:20 2013 +0100
@@ -1,3 +1,2 @@
 #additional components to be bundled for release
-cygwin-20130114
-
+cygwin-20130117
--- a/Admin/components/components.sha1	Thu Jan 17 17:51:43 2013 +0100
+++ b/Admin/components/components.sha1	Thu Jan 17 18:16:20 2013 +0100
@@ -4,6 +4,7 @@
 2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
 842d9526f37b928cf9e22f141884365129990d63  cygwin-20130110.tar.gz
 cb3b0706d208f104b800267697204f6d82f7b48a  cygwin-20130114.tar.gz
+3b44cca04855016d5f8cfb5101b2e0579ab80197  cygwin-20130117.tar.gz
 0fe549949a025d65d52d6deca30554de8fca3b6e  e-1.5.tar.gz
 2e293256a134eb8e5b1a283361b15eb812fbfbf1  e-1.6-1.tar.gz
 e1919e72416cbd7ac8de5455caba8901acc7b44d  e-1.6-2.tar.gz
isabelle