1 Subject: Announcing Isabelle2017
2 To: isabelle-users@cl.cam.ac.uk
4 Isabelle2017 is now available.
6 This version introduces many changes over Isabelle2016-1: see the NEWS
7 file for further details. Some notable points:
9 * Experimental support for Visual Studio Code as alternative PIDE front-end.
11 * Improved Isabelle/jEdit Prover IDE: management of session sources
12 independently of editor buffers, removal of unused theories, explicit
13 indication of theory status, more careful auto-indentation.
15 * Session-qualified theory imports.
17 * Code generator improvements: support for statically embedded computations.
19 * Numerous HOL library improvements.
21 * More material in HOL-Algebra, HOL-Computational_Algebra and HOL-Analysis
22 (ported from HOL-Light).
24 * Improved Nunchaku model finder, now in main HOL.
26 * SQL database support in Isabelle/Scala.
29 You may get Isabelle2017 from the following mirror sites:
31 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle
32 Munich (Germany) http://isabelle.in.tum.de
33 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle
34 Potsdam, NY (USA) http://mirror.clarkson.edu/isabelle