ANNOUNCE
author wenzelm
Wed Dec 06 21:01:01 2017 +0100 (7 months ago)
changeset 67150 ecbd8ff928c5
parent 66601 af3cf2c859c1
child 68391 9b4f60bdad54
permissions -rw-r--r--
merged
wenzelm@66601
     1
Subject: Announcing Isabelle2017
wenzelm@9928
     2
To: isabelle-users@cl.cam.ac.uk
wenzelm@9928
     3
wenzelm@66475
     4
Isabelle2017 is now available.
wenzelm@12927
     5
wenzelm@66475
     6
This version introduces many changes over Isabelle2016-1: see the NEWS
wenzelm@64552
     7
file for further details. Some notable points:
wenzelm@9928
     8
wenzelm@66475
     9
* Experimental support for Visual Studio Code as alternative PIDE front-end.
wenzelm@64392
    10
wenzelm@66475
    11
* Improved Isabelle/jEdit Prover IDE: management of session sources
wenzelm@66475
    12
independently of editor buffers, removal of unused theories, explicit
wenzelm@66475
    13
indication of theory status, more careful auto-indentation.
wenzelm@64392
    14
wenzelm@66475
    15
* Session-qualified theory imports.
wenzelm@64392
    16
wenzelm@66475
    17
* Code generator improvements: support for statically embedded computations.
wenzelm@64392
    18
wenzelm@66475
    19
* Numerous HOL library improvements.
wenzelm@64392
    20
wenzelm@66478
    21
* More material in HOL-Algebra, HOL-Computational_Algebra and HOL-Analysis
wenzelm@66478
    22
(ported from HOL-Light).
wenzelm@66478
    23
wenzelm@66640
    24
* Improved Nunchaku model finder, now in main HOL.
wenzelm@66640
    25
wenzelm@66478
    26
* SQL database support in Isabelle/Scala.
wenzelm@64392
    27
wenzelm@64392
    28
wenzelm@66475
    29
You may get Isabelle2017 from the following mirror sites:
wenzelm@9928
    30
wenzelm@62190
    31
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
wenzelm@62190
    32
  Munich (Germany)     http://isabelle.in.tum.de
wenzelm@62190
    33
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle
wenzelm@62197
    34
  Potsdam, NY (USA)    http://mirror.clarkson.edu/isabelle