ANNOUNCE
author hoelzl
Mon, 08 Aug 2016 14:13:14 +0200
changeset 63627 6ddb43c6b711
parent 62197 f354900ac0ea
child 64072 9f96e4da3064
permissions -rw-r--r--
rename HOL-Multivariate_Analysis to HOL-Analysis.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
62016
740c70a21523 misc updates for release;
wenzelm
parents: 60125
diff changeset
     1
Subject: Announcing Isabelle2016
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     2
To: isabelle-users@cl.cam.ac.uk
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     3
62016
740c70a21523 misc updates for release;
wenzelm
parents: 60125
diff changeset
     4
Isabelle2016 is now available.
57452
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
     5
62028
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
     6
This version improves upon Isabelle2015 in many ways, see the NEWS file in the
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
     7
distribution for further details. Some highlights are as follows:
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
     8
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
     9
* Enhanced Isabelle/jEdit Prover IDE, with separate State versus Output panel
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
    10
and more asynchronous task management within the prover/GUI.
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
    11
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
    12
* Additional Isar language elements for structured statements and proofs.
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
    13
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
    14
* Document language refinements, with Markdown-like text structure.
60116
5d90d301ad66 ANNOUNCE material, based on NEWS;
wenzelm
parents: 60016
diff changeset
    15
62028
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
    16
* More Isabelle symbols in theory and document sources.
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
    17
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
    18
* Pure/HOL: uniform treatment of overloaded constant definitions versus type
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
    19
definitions; upgrade of HOL typedef to definitional principle.
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
    20
62029
wenzelm
parents: 62028
diff changeset
    21
* HOL tool enhancements: Sledgehammer, Nitpick, Quickcheck, Transfer.
62028
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
    22
62084
969119292e25 misc tuning for release;
wenzelm
parents: 62064
diff changeset
    23
* HOL library additions and improvements, notably HOL-Multivariate_Analysis,
969119292e25 misc tuning for release;
wenzelm
parents: 62064
diff changeset
    24
HOL-Probability, HOL-Data_Structures.
62028
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
    25
62029
wenzelm
parents: 62028
diff changeset
    26
* Upgrade to Poly/ML 5.6 with debugger IDE support (Isabelle/ML and Standard
wenzelm
parents: 62028
diff changeset
    27
ML), per-thread profiling, native Windows version (32bit and 64bit).
54034
07844b536810 some highlights of Isabelle2013-1 based on NEWS;
wenzelm
parents: 53978
diff changeset
    28
12983
7d13480ee668 more stuff;
wenzelm
parents: 12964
diff changeset
    29
62016
740c70a21523 misc updates for release;
wenzelm
parents: 60125
diff changeset
    30
You may get Isabelle2016 from the following mirror sites:
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
    31
62190
ec5703538300 tuned URLs according to website;
wenzelm
parents: 62084
diff changeset
    32
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
ec5703538300 tuned URLs according to website;
wenzelm
parents: 62084
diff changeset
    33
  Munich (Germany)     http://isabelle.in.tum.de
ec5703538300 tuned URLs according to website;
wenzelm
parents: 62084
diff changeset
    34
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle
62197
f354900ac0ea updated mirrors according to website;
wenzelm
parents: 62190
diff changeset
    35
  Potsdam, NY (USA)    http://mirror.clarkson.edu/isabelle