| Mon, 11 Sep 2017 18:36:13 +0200 | wenzelm | clarified signature: proper result; | changeset | files |
| 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 |
| Fri, 08 Sep 2017 19:35:07 +0200 | wenzelm | Added tag Isabelle2017-RC2 for changeset e9d8ff531700 | changeset | files |
| Fri, 08 Sep 2017 19:31:43 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 08 Sep 2017 19:26:28 +0200 | wenzelm | updated for release; | changeset | files |
| Fri, 08 Sep 2017 19:22:47 +0200 | wenzelm | tuned headers; | changeset | files |
| Fri, 08 Sep 2017 15:48:58 +0100 | paulson | Lawrence Paulson's contributions | changeset | files |
| Fri, 08 Sep 2017 15:27:48 +0100 | paulson | merged | changeset | files |
| Fri, 08 Sep 2017 15:27:22 +0100 | paulson | Correction of typos and a bit of streamlining | changeset | files |
| Fri, 08 Sep 2017 16:20:47 +0200 | blanchet | listed contribution | changeset | files |
| Fri, 08 Sep 2017 12:49:40 +0100 | paulson | Simplicial complexes and triangulations; Baire Category Theorem | changeset | files |
| Fri, 08 Sep 2017 11:09:56 +0200 | wenzelm | updated for release; | changeset | files |
| Fri, 08 Sep 2017 02:22:58 +0200 | blanchet | removed obsolete session | changeset | files |