ANNOUNCE
author paulson <lp15@cam.ac.uk>
Tue, 12 Jun 2018 16:08:57 +0100
changeset 68443 43055b016688
parent 68391 9b4f60bdad54
child 68545 7922992c99ea
permissions -rw-r--r--
New material from Martin Baillon and Paulo Emílio de Vilhena
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
64552
wenzelm
parents: 64428
diff changeset
     7
file for further details. Some notable points:
64392
9456313b57ed updated for release;
wenzelm
parents: 64072
diff changeset
     8
68391
9b4f60bdad54 updated for release;
wenzelm
parents: 66640
diff changeset
     9
* FIXME.
54034
07844b536810 some highlights of Isabelle2013-1 based on NEWS;
wenzelm
parents: 53978
diff changeset
    10
12983
7d13480ee668 more stuff;
wenzelm
parents: 12964
diff changeset
    11
68391
9b4f60bdad54 updated for release;
wenzelm
parents: 66640
diff changeset
    12
You may get Isabelle2018 from the following mirror sites:
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
    13
62190
ec5703538300 tuned URLs according to website;
wenzelm
parents: 62084
diff changeset
    14
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
ec5703538300 tuned URLs according to website;
wenzelm
parents: 62084
diff changeset
    15
  Munich (Germany)     http://isabelle.in.tum.de
ec5703538300 tuned URLs according to website;
wenzelm
parents: 62084
diff changeset
    16
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle
62197
f354900ac0ea updated mirrors according to website;
wenzelm
parents: 62190
diff changeset
    17
  Potsdam, NY (USA)    http://mirror.clarkson.edu/isabelle