| Mon, 04 Jun 2018 22:04:45 +0200 | wenzelm | avoid hardwired cygwin mirror; | changeset | files |
| Mon, 04 Jun 2018 21:57:38 +0200 | wenzelm | updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; | changeset | files |
| Mon, 04 Jun 2018 21:03:10 +0100 | paulson | NEWS: infinite products | changeset | files |
| Mon, 04 Jun 2018 21:00:21 +0100 | paulson | merged | changeset | files |
| Mon, 04 Jun 2018 21:00:12 +0100 | paulson | more tweaks of Cauchy | changeset | files |
| Mon, 04 Jun 2018 14:21:16 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 03 Jun 2018 23:30:53 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sun, 03 Jun 2018 22:18:27 +0200 | wenzelm | NEWS; | changeset | files |