ANNOUNCE
author wenzelm
Wed Jun 06 11:49:16 2018 +0200 (11 months ago)
changeset 68391 9b4f60bdad54
parent 66640 c61c957b0439
child 68545 7922992c99ea
permissions -rw-r--r--
updated for release;
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