| Sat, 30 May 2015 19:29:21 +0200 | wenzelm | tuned message; | changeset | files |
| Sat, 30 May 2015 19:28:51 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 29 May 2015 17:56:43 +0200 | blanchet | removed model checks from Nitpick | changeset | files |
| Fri, 29 May 2015 17:17:50 +0200 | blanchet | document Nitpick issue | changeset | files |
| Fri, 29 May 2015 14:35:59 +0100 | paulson | uncountability: open interval equivalences | changeset | files |
| Thu, 28 May 2015 14:33:35 +0100 | paulson | Convex hulls: theorems about interior, etc. And a few simple lemmas. | changeset | files |
| Thu, 28 May 2015 10:18:46 +0200 | blanchet | made Auto Sledgehammer behave more like the real thing | changeset | files |