ANNOUNCE
author immler
Wed Jun 13 09:26:04 2018 +0200 (12 months ago)
changeset 68435 2a2ef4552aaf
parent 68391 9b4f60bdad54
child 68545 7922992c99ea
permissions -rw-r--r--
tuned
     1 Subject: Announcing Isabelle2018
     2 To: isabelle-users@cl.cam.ac.uk
     3 
     4 Isabelle2018 is now available.
     5 
     6 This version introduces many changes over Isabelle2017: see the NEWS
     7 file for further details. Some notable points:
     8 
     9 * FIXME.
    10 
    11 
    12 You may get Isabelle2018 from the following mirror sites:
    13 
    14   Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
    15   Munich (Germany)     http://isabelle.in.tum.de
    16   Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle
    17   Potsdam, NY (USA)    http://mirror.clarkson.edu/isabelle