ANNOUNCE
author wenzelm
Sat Mar 26 12:17:02 2016 +0100 (2016-03-26)
changeset 62710 e17f014775a0
parent 62197 f354900ac0ea
child 64072 9f96e4da3064
permissions -rw-r--r--
eliminated duplicate;
wenzelm@62016
     1
Subject: Announcing Isabelle2016
wenzelm@9928
     2
To: isabelle-users@cl.cam.ac.uk
wenzelm@9928
     3
wenzelm@62016
     4
Isabelle2016 is now available.
wenzelm@57452
     5
wenzelm@62028
     6
This version improves upon Isabelle2015 in many ways, see the NEWS file in the
wenzelm@62028
     7
distribution for further details. Some highlights are as follows:
wenzelm@62028
     8
wenzelm@62028
     9
* Enhanced Isabelle/jEdit Prover IDE, with separate State versus Output panel
wenzelm@62028
    10
and more asynchronous task management within the prover/GUI.
wenzelm@62028
    11
wenzelm@62028
    12
* Additional Isar language elements for structured statements and proofs.
wenzelm@62028
    13
wenzelm@62028
    14
* Document language refinements, with Markdown-like text structure.
wenzelm@60116
    15
wenzelm@62028
    16
* More Isabelle symbols in theory and document sources.
wenzelm@62028
    17
wenzelm@62028
    18
* Pure/HOL: uniform treatment of overloaded constant definitions versus type
wenzelm@62028
    19
definitions; upgrade of HOL typedef to definitional principle.
wenzelm@62028
    20
wenzelm@62029
    21
* HOL tool enhancements: Sledgehammer, Nitpick, Quickcheck, Transfer.
wenzelm@62028
    22
wenzelm@62084
    23
* HOL library additions and improvements, notably HOL-Multivariate_Analysis,
wenzelm@62084
    24
HOL-Probability, HOL-Data_Structures.
wenzelm@62028
    25
wenzelm@62029
    26
* Upgrade to Poly/ML 5.6 with debugger IDE support (Isabelle/ML and Standard
wenzelm@62029
    27
ML), per-thread profiling, native Windows version (32bit and 64bit).
wenzelm@54034
    28
wenzelm@12983
    29
wenzelm@62016
    30
You may get Isabelle2016 from the following mirror sites:
wenzelm@9928
    31
wenzelm@62190
    32
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
wenzelm@62190
    33
  Munich (Germany)     http://isabelle.in.tum.de
wenzelm@62190
    34
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle
wenzelm@62197
    35
  Potsdam, NY (USA)    http://mirror.clarkson.edu/isabelle