ANNOUNCE

avoid overlapping session directories;

+
−Subject: Announcing Isabelle2019
+
−To: [e-mail]
+
−
+
−Isabelle2019 is now available.
+
−
+
−This version introduces many changes over Isabelle2018: see the NEWS
+
−file for further details. Here are some notable points:
+
−
+
−* Improved "Isabelle DejaVu" font collection, suitable for text and GUI.
+
−
+
−* Various Isabelle/jEdit improvements, with virtual file-system access to
+
−sessions and exports.
+
−
+
−* Improved headless PIDE session (and server).
+
−
+
−* HOL: 'export_code' now generates logical files in the theory and session
+
−context, e.g. browsable as "isabelle-export:" in Isabelle/jEdit.
+
−
+
−* HOL: various syntax and library improvements.
+
−
+
−* HOL libraries: better organization and much more material in HOL-Algebra,
+
−HOL-Analysis, HOL-Homology.
+
−
+
−* Isabelle/ML environments for separate SML applications.
+
−
+
−* Isabelle/Haskell library for implementation of Isabelle/PIDE backends.
+
−
+
−* Installation management for Haskell (Stack) and OCaml (OPAM).
+
−
+
−* Update to current Java 11 and Poly/ML 5.8 with better scalability.
+
−
+
−
+
−You may get Isabelle2019 from the following mirror sites:
+
−
+
−  Cambridge (UK)       https://www.cl.cam.ac.uk/research/hvg/Isabelle
+
−  Munich (Germany)     https://isabelle.in.tum.de
+
−  Sydney (Australia)   https://mirror.cse.unsw.edu.au/pub/isabelle
+
−  Potsdam, NY (USA)    https://mirror.clarkson.edu/isabelle