| Tue, 26 Sep 2017 15:29:59 -0300 | blanchet | strengthened reconstruction tactic | changeset | files |
| Mon, 25 Sep 2017 20:43:21 +0200 | wenzelm | basic support for x86_64-cygwin; | changeset | files |
| Mon, 25 Sep 2017 15:49:27 +0100 | paulson | Tiny presentational improvements to homeomorphic_punctured_sphere_affine_gen | changeset | files |
| Mon, 25 Sep 2017 09:46:26 +0200 | wenzelm | back to post-release mode; | changeset | files |
| Sat, 23 Sep 2017 20:09:16 +0200 | wenzelm | merged | changeset | files |
| Sat, 23 Sep 2017 13:46:48 +0200 | wenzelm | Added tag Isabelle2017-RC3 for changeset 4f73201b8043 | changeset | files |
| Sat, 23 Sep 2017 13:31:32 +0200 | wenzelm | updated component: static build of for x86-linux, using actual cvc4 1.5 (see also c41642bc1ebb); | changeset | files |
| Fri, 22 Sep 2017 13:07:11 -0300 | blanchet | updated CVC4 and E components with 32-bit Linux and rebuild 64-bit Linux binaries | changeset | files |