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