| Tue, 27 Oct 2015 22:19:56 +0100 | wenzelm | removed presumably obsolete workaround (see 7924d61b50cf); | changeset | files |
| Tue, 27 Oct 2015 15:17:02 +0000 | paulson | Cauchy's integral formula, required lemmas, and a bit of reorganisation | changeset | files |
| Mon, 26 Oct 2015 23:42:01 +0000 | paulson | merged | changeset | files |