changeset 71491 | 0a20dd339a05 |
parent 71485 | 29e297fd5473 |
child 73010 | a569465f8b57 |
--- a/ANNOUNCE Thu Feb 27 13:27:49 2020 +0100 +++ b/ANNOUNCE Fri Feb 28 16:40:28 2020 +0100 @@ -29,7 +29,8 @@ * System: Isabelle/Phabricator as self-hosted project management platform. -* System: more robust support for Windows. +* System: update to current Poly/ML 5.8.1 with improved robustness, +especially on Windows. * System: improved support for macOS, notably 10.15 Catalina.