Wed, 30 May 2018 14:34:43 +0200 | wenzelm | report theory progress via PIDE node status; | changeset | files |
Thu, 31 May 2018 10:59:54 +0200 | blanchet | merge | changeset | files |
Thu, 31 May 2018 10:59:36 +0200 | blanchet | more conservative output, avoiding nonstandard feature of E | changeset | files |
Wed, 30 May 2018 23:11:28 +0100 | paulson | merged | changeset | files |
Wed, 30 May 2018 23:11:12 +0100 | paulson | winding numbers predicate | changeset | files |
Wed, 30 May 2018 13:44:53 +0200 | nipkow | unused | changeset | files |