ANNOUNCE
author wenzelm
Tue Oct 11 22:24:14 2016 +0200 (2016-10-11)
changeset 64155 646c4d6a6a02
parent 64072 9f96e4da3064
child 64392 9456313b57ed
permissions -rw-r--r--
tuned signature;
wenzelm@64072
     1
Subject: Announcing Isabelle2016-1
wenzelm@9928
     2
To: isabelle-users@cl.cam.ac.uk
wenzelm@9928
     3
wenzelm@64072
     4
Isabelle2016-1 is now available.
wenzelm@60116
     5
wenzelm@64072
     6
This version introduces significant changes over Isabelle2016, see the
wenzelm@64072
     7
NEWS file in the distribution for further details. Some highlights are
wenzelm@64072
     8
as follows:
wenzelm@62028
     9
wenzelm@64072
    10
* TBA
wenzelm@54034
    11
wenzelm@12983
    12
wenzelm@64072
    13
You may get Isabelle2016-1 from the following mirror sites:
wenzelm@9928
    14
wenzelm@62190
    15
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
wenzelm@62190
    16
  Munich (Germany)     http://isabelle.in.tum.de
wenzelm@62190
    17
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle
wenzelm@62197
    18
  Potsdam, NY (USA)    http://mirror.clarkson.edu/isabelle