ANNOUNCE
author Andreas Lochbihler
Tue, 01 Jan 2019 18:33:19 +0100
changeset 69569 2d88bf80c84f
parent 68648 371e814af6f0
child 70032 0674c24afc5e
permissions -rw-r--r--
merged
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
68648
371e814af6f0 more ANNOUNCE;
wenzelm
parents: 68599
diff changeset
    23
* HOL-Library.Code_Lazy: code generation for lazy evaluation.
371e814af6f0 more ANNOUNCE;
wenzelm
parents: 68599
diff changeset
    24
371e814af6f0 more ANNOUNCE;
wenzelm
parents: 68599
diff changeset
    25
* HOL-Real_Asymp: tools for semi-automatic real asymptotics.
371e814af6f0 more ANNOUNCE;
wenzelm
parents: 68599
diff changeset
    26
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    27
* Isabelle server for reactive communication with other programs.
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    28
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    29
* More uniform 64-bit platform support: smaller Isabelle application.
54034
07844b536810 some highlights of Isabelle2013-1 based on NEWS;
wenzelm
parents: 53978
diff changeset
    30
12983
7d13480ee668 more stuff;
wenzelm
parents: 12964
diff changeset
    31
68391
9b4f60bdad54 updated for release;
wenzelm
parents: 66640
diff changeset
    32
You may get Isabelle2018 from the following mirror sites:
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
    33
68599
cc7b5e0355a5 prefer HTTPS;
wenzelm
parents: 68567
diff changeset
    34
  Cambridge (UK)       https://www.cl.cam.ac.uk/research/hvg/Isabelle
cc7b5e0355a5 prefer HTTPS;
wenzelm
parents: 68567
diff changeset
    35
  Munich (Germany)     https://isabelle.in.tum.de
62190
ec5703538300 tuned URLs according to website;
wenzelm
parents: 62084
diff changeset
    36
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle
68599
cc7b5e0355a5 prefer HTTPS;
wenzelm
parents: 68567
diff changeset
    37
  Potsdam, NY (USA)    https://mirror.clarkson.edu/isabelle