ANNOUNCE
author wenzelm
Mon, 06 Apr 2015 14:09:31 +0200
changeset 59933 07a7544c0535
parent 57524 b8448367f9c7
child 60016 6e6cc8c012a2
permissions -rw-r--r--
allow prefix before keyword, notably 'private';
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
57452
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
     1
Subject: Announcing Isabelle2014
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     2
To: isabelle-users@cl.cam.ac.uk
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     3
57452
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
     4
Isabelle2014 is now available.
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
     5
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
     6
This version significantly improves upon Isabelle2013-2, see the NEWS
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
     7
file in the distribution for more details.  Some highlights are:
44975
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
     8
57452
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
     9
* Improved Isabelle/jEdit Prover IDE: navigation, completion,
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
    10
  spell-checking, Query panel, Simplifier Trace panel.
47869
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    11
57504
5cf245c62c4c misc tuning for release;
wenzelm
parents: 57452
diff changeset
    12
* Support for auxiliary files within the Prover IDE, notably
5cf245c62c4c misc tuning for release;
wenzelm
parents: 57452
diff changeset
    13
  Isabelle/ML.
54034
07844b536810 some highlights of Isabelle2013-1 based on NEWS;
wenzelm
parents: 53978
diff changeset
    14
57452
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
    15
* Support for official Standard ML within the Prover IDE,
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
    16
  independently of Isabelle theory and proof development.
54034
07844b536810 some highlights of Isabelle2013-1 based on NEWS;
wenzelm
parents: 53978
diff changeset
    17
57452
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
    18
* HOL: BNF datatypes and codatatypes within theory Main, with numerous
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
    19
  add-on tools.
54034
07844b536810 some highlights of Isabelle2013-1 based on NEWS;
wenzelm
parents: 53978
diff changeset
    20
57452
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
    21
* HOL tool enhancements: Nitpick, Sledgehammer.
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
    22
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
    23
* HOL: internal SAT solver "cdclite" with models and proof traces.
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
    24
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
    25
* HOL: updated SMT module, with support for SMT-LIB 2 and recent
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
    26
  versions of Z3, as well as CVC3, CVC4.
54034
07844b536810 some highlights of Isabelle2013-1 based on NEWS;
wenzelm
parents: 53978
diff changeset
    27
57505
wenzelm
parents: 57504
diff changeset
    28
* HOL: numerous library enhancements: main HOL, HOL-Word,
wenzelm
parents: 57504
diff changeset
    29
  HOL-Multivariate_Analysis, HOL-Probability.
57504
5cf245c62c4c misc tuning for release;
wenzelm
parents: 57452
diff changeset
    30
57511
wenzelm
parents: 57505
diff changeset
    31
* System integration: improved support of LaTeX on Windows platform.
57504
5cf245c62c4c misc tuning for release;
wenzelm
parents: 57452
diff changeset
    32
57452
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
    33
* Updated and extended manuals: codegen, datatypes, implementation,
ecad2a53755a misc updates for release;
wenzelm
parents: 54639
diff changeset
    34
  isar-ref, jedit, system.
54034
07844b536810 some highlights of Isabelle2013-1 based on NEWS;
wenzelm
parents: 53978
diff changeset
    35
12983
7d13480ee668 more stuff;
wenzelm
parents: 12964
diff changeset
    36
57524
b8448367f9c7 update for release;
wenzelm
parents: 57511
diff changeset
    37
You may get Isabelle2014 from the following mirror sites:
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
    38
27085
dbf4f791953d adjusted location of cambridge website
haftmann
parents: 27066
diff changeset
    39
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
17696
eccdee8a0790 adjusted www links
haftmann
parents: 17692
diff changeset
    40
  Munich (Germany)     http://isabelle.in.tum.de/
14616
b167b1b848d8 added sydney mirror
kleing
parents: 14614
diff changeset
    41
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/