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