| Fri, 11 May 2018 17:27:30 +0200 | wenzelm | proper heading; | changeset | files |
| Fri, 11 May 2018 11:42:23 +0200 | wenzelm | removed unused Java FX modules (it will be unbundled from JDK eventually); | changeset | files |
| Thu, 10 May 2018 22:03:51 +0100 | paulson | tidied some messy proofs | changeset | files |