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.
more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012;
authorwenzelm
Mon, 23 Apr 2012 16:05:18 +0200
changeset 47696 1c9c498ed4f1
parent 47695 89a90da149a9
child 47697 0622929ca66e
more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012;
Admin/Cygwin/README file | annotate | diff | comparison | revisions 
--- a/Admin/Cygwin/README	Mon Apr 23 13:40:02 2012 +0200
+++ b/Admin/Cygwin/README	Mon Apr 23 16:05:18 2012 +0200
@@ -7,3 +7,16 @@
 
 * http://chinese-watercolor.com/LRP/printsrv/cygwin-sshd.html
 
+* Cygwin crash of Poly/ML 5.4.0, 5.4.1 with threads (and sockets?)
+http://cygwin.com/ml/cygwin/2012-04/msg00415.html
+http://cygwin.com/ml/cygwin/2012-04/msg00417.html
+
+* Mirror with many old versions (not setup.init!)
+  http://ftp.eq.uc.pt/software/pc/prog/cygwin
+
+* Time machine for older versions:
+  http://www.fruitbat.org/Cygwin/index.html#cygwincirca
+
+  e.g. ftp://www.fruitbat.org/pub/cygwin/circa/2012/02/04/034515/setup.ini
+  for last 1.7.9 version
+
isabelle