ANNOUNCE
author wenzelm
Sun, 23 Oct 2016 12:35:48 +0200
changeset 64357 e10fa8afc96c
parent 64072 9f96e4da3064
child 64392 9456313b57ed
permissions -rw-r--r--
tuned signature: avoid conflict with "paragraph" as section heading;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64072
9f96e4da3064 updated for release;
wenzelm
parents: 62197
diff changeset
     1
Subject: Announcing Isabelle2016-1
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     2
To: isabelle-users@cl.cam.ac.uk
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     3
64072
9f96e4da3064 updated for release;
wenzelm
parents: 62197
diff changeset
     4
Isabelle2016-1 is now available.
60116
5d90d301ad66 ANNOUNCE material, based on NEWS;
wenzelm
parents: 60016
diff changeset
     5
64072
9f96e4da3064 updated for release;
wenzelm
parents: 62197
diff changeset
     6
This version introduces significant changes over Isabelle2016, see the
9f96e4da3064 updated for release;
wenzelm
parents: 62197
diff changeset
     7
NEWS file in the distribution for further details. Some highlights are
9f96e4da3064 updated for release;
wenzelm
parents: 62197
diff changeset
     8
as follows:
62028
2ecee4679f99 updated for release;
wenzelm
parents: 62016
diff changeset
     9
64072
9f96e4da3064 updated for release;
wenzelm
parents: 62197
diff changeset
    10
* TBA
54034
07844b536810 some highlights of Isabelle2013-1 based on NEWS;
wenzelm
parents: 53978
diff changeset
    11
12983
7d13480ee668 more stuff;
wenzelm
parents: 12964
diff changeset
    12
64072
9f96e4da3064 updated for release;
wenzelm
parents: 62197
diff changeset
    13
You may get Isabelle2016-1 from the following mirror sites:
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
    14
62190
ec5703538300 tuned URLs according to website;
wenzelm
parents: 62084
diff changeset
    15
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
ec5703538300 tuned URLs according to website;
wenzelm
parents: 62084
diff changeset
    16
  Munich (Germany)     http://isabelle.in.tum.de
ec5703538300 tuned URLs according to website;
wenzelm
parents: 62084
diff changeset
    17
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle
62197
f354900ac0ea updated mirrors according to website;
wenzelm
parents: 62190
diff changeset
    18
  Potsdam, NY (USA)    http://mirror.clarkson.edu/isabelle