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