Mon, 11 Sep 2017 17:07:38 +0100 | paulson | new theorem about exposed faces | changeset | files |
Fri, 08 Sep 2017 19:37:46 +0200 | wenzelm | back to post-release mode -- after fork point; | changeset | files |
Fri, 08 Sep 2017 19:55:18 +0200 | wenzelm | tuned; | changeset | files |