Thu, 06 Dec 2018 14:51:09 +0100 | wenzelm | proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a); | changeset | files |
Thu, 06 Dec 2018 14:47:04 +0100 | wenzelm | tuned message; | changeset | files |
Thu, 06 Dec 2018 14:25:27 +0100 | wenzelm | more explicit Platform.Family; | changeset | files |