ANNOUNCE
author wenzelm
Mon, 02 Jul 2018 16:25:41 +0200
changeset 68567 b408728a002a
parent 68560 ad079be4f21c
child 68599 cc7b5e0355a5
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
68391
9b4f60bdad54 updated for release;
wenzelm
parents: 66640
diff changeset
     1
Subject: Announcing Isabelle2018
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     2
To: isabelle-users@cl.cam.ac.uk
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     3
68391
9b4f60bdad54 updated for release;
wenzelm
parents: 66640
diff changeset
     4
Isabelle2018 is now available.
60116
5d90d301ad66 ANNOUNCE material, based on NEWS;
wenzelm
parents: 60016
diff changeset
     5
68391
9b4f60bdad54 updated for release;
wenzelm
parents: 66640
diff changeset
     6
This version introduces many changes over Isabelle2017: see the NEWS
68567
wenzelm
parents: 68560
diff changeset
     7
file for further details. Here are some notable points:
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
     8
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
     9
* Improved infix notation within terms.
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    10
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    11
* Improved syntax for formal comments, within terms and other languages.
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    12
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    13
* Improved management of ROOT files and session-qualified theories.
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    14
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    15
* Various improvements of document preparation.
64392
9456313b57ed updated for release;
wenzelm
parents: 64072
diff changeset
    16
68560
wenzelm
parents: 68545
diff changeset
    17
* Many Isabelle/jEdit improvements, including semantic IDE for BibTeX.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    18
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    19
* Numerous HOL library improvements, including HOL-Algebra.
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    20
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    21
* Substantial additions to HOL-Analysis.
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    22
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    23
* Isabelle server for reactive communication with other programs.
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    24
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    25
* More uniform 64-bit platform support: smaller Isabelle application.
54034
07844b536810 some highlights of Isabelle2013-1 based on NEWS;
wenzelm
parents: 53978
diff changeset
    26
12983
7d13480ee668 more stuff;
wenzelm
parents: 12964
diff changeset
    27
68391
9b4f60bdad54 updated for release;
wenzelm
parents: 66640
diff changeset
    28
You may get Isabelle2018 from the following mirror sites:
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
    29
62190
ec5703538300 tuned URLs according to website;
wenzelm
parents: 62084
diff changeset
    30
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
ec5703538300 tuned URLs according to website;
wenzelm
parents: 62084
diff changeset
    31
  Munich (Germany)     http://isabelle.in.tum.de
ec5703538300 tuned URLs according to website;
wenzelm
parents: 62084
diff changeset
    32
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle
62197
f354900ac0ea updated mirrors according to website;
wenzelm
parents: 62190
diff changeset
    33
  Potsdam, NY (USA)    http://mirror.clarkson.edu/isabelle