wenzelm@66601: Subject: Announcing Isabelle2017
wenzelm@9928: To: isabelle-users@cl.cam.ac.uk
wenzelm@9928: 
wenzelm@66475: Isabelle2017 is now available.
wenzelm@60116: 
wenzelm@66475: This version introduces many changes over Isabelle2016-1: see the NEWS
wenzelm@64552: file for further details. Some notable points:
wenzelm@64392: 
wenzelm@66475: * Experimental support for Visual Studio Code as alternative PIDE front-end.
wenzelm@64392: 
wenzelm@66475: * Improved Isabelle/jEdit Prover IDE: management of session sources
wenzelm@66475: independently of editor buffers, removal of unused theories, explicit
wenzelm@66475: indication of theory status, more careful auto-indentation.
wenzelm@64392: 
wenzelm@66475: * Session-qualified theory imports.
wenzelm@64392: 
wenzelm@66475: * Code generator improvements: support for statically embedded computations.
wenzelm@64392: 
wenzelm@66475: * Numerous HOL library improvements.
wenzelm@64392: 
wenzelm@66478: * More material in HOL-Algebra, HOL-Computational_Algebra and HOL-Analysis
wenzelm@66478: (ported from HOL-Light).
wenzelm@66478: 
wenzelm@66478: * SQL database support in Isabelle/Scala.
wenzelm@54034: 
wenzelm@12983: 
wenzelm@66475: You may get Isabelle2017 from the following mirror sites:
wenzelm@9928: 
wenzelm@62190:   Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
wenzelm@62190:   Munich (Germany)     http://isabelle.in.tum.de
wenzelm@62190:   Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle
wenzelm@62197:   Potsdam, NY (USA)    http://mirror.clarkson.edu/isabelle