ANNOUNCE
changeset 71491 0a20dd339a05
parent 71485 29e297fd5473
child 73010 a569465f8b57
equal deleted inserted replaced
71490:3488c0eb4cc8 71491:0a20dd339a05
    27 
    27 
    28 * Scala: support for Ubuntu server applications (Linux-Apache-MySQL-PHP).
    28 * Scala: support for Ubuntu server applications (Linux-Apache-MySQL-PHP).
    29 
    29 
    30 * System: Isabelle/Phabricator as self-hosted project management platform.
    30 * System: Isabelle/Phabricator as self-hosted project management platform.
    31 
    31 
    32 * System: more robust support for Windows.
    32 * System: update to current Poly/ML 5.8.1 with improved robustness,
       
    33 especially on Windows.
    33 
    34 
    34 * System: improved support for macOS, notably 10.15 Catalina.
    35 * System: improved support for macOS, notably 10.15 Catalina.
    35 
    36 
    36 
    37 
    37 You may get Isabelle2020 from the following mirror sites:
    38 You may get Isabelle2020 from the following mirror sites: