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