ANNOUNCE
author wenzelm
Mon Jun 03 20:09:43 2019 +0200 (2 months ago)
changeset 70310 c82f59c47aaf
parent 70286 9d7256d23ae3
permissions -rw-r--r--
clarified transfer_morphism: implicit join_certificate, e.g. relevant for complex cascades of morphisms such as class locale interpretation;
     1 Subject: Announcing Isabelle2019
     2 To: isabelle-users@cl.cam.ac.uk
     3 
     4 Isabelle2019 is now available.
     5 
     6 This version introduces many changes over Isabelle2018: see the NEWS
     7 file for further details. Here are some notable points:
     8 
     9 * Improved "Isabelle DejaVu" font collection, suitable for text and GUI.
    10 
    11 * Various Isabelle/jEdit improvements, with virtual file-system access to
    12 sessions and exports.
    13 
    14 * Improved headless PIDE session (and server).
    15 
    16 * HOL: 'export_code' now generates logical files in the theory and session
    17 context, e.g. browsable as "isabelle-export:" in Isabelle/jEdit.
    18 
    19 * HOL: various syntax and library improvements.
    20 
    21 * HOL libraries: better organization and much more material in HOL-Algebra,
    22 HOL-Analysis, HOL-Homology.
    23 
    24 * Isabelle/ML environments for separate SML applications.
    25 
    26 * Isabelle/Haskell library for implementation of Isabelle/PIDE backends.
    27 
    28 * Installation management for Haskell (Stack) and OCaml (OPAM).
    29 
    30 * Update to current Java 11 and Poly/ML 5.8 with better scalability.
    31 
    32 
    33 You may get Isabelle2019 from the following mirror sites:
    34 
    35   Cambridge (UK)       https://www.cl.cam.ac.uk/research/hvg/Isabelle
    36   Munich (Germany)     https://isabelle.in.tum.de
    37   Sydney (Australia)   https://mirror.cse.unsw.edu.au/pub/isabelle
    38   Potsdam, NY (USA)    https://mirror.clarkson.edu/isabelle