isabelle: ANNOUNCE@a110dcc9a4c7 (annotated)

68391 9b4f60bdad54 updated for release; wenzelm parents: 66640 diff changeset	1	Subject: Announcing Isabelle2018
9928 b7698bd95a94 template; wenzelm parents: diff changeset	2	To: isabelle-users@cl.cam.ac.uk
b7698bd95a94 template; wenzelm parents: diff changeset	3
68391 9b4f60bdad54 updated for release; wenzelm parents: 66640 diff changeset	4	Isabelle2018 is now available.
60116 5d90d301ad66 ANNOUNCE material, based on NEWS; wenzelm parents: 60016 diff changeset	5
68391 9b4f60bdad54 updated for release; wenzelm parents: 66640 diff changeset	6	This version introduces many changes over Isabelle2017: see the NEWS
64552 7aa3c52f27aa tuned; wenzelm parents: 64428 diff changeset	7	file for further details. Some notable points:
64392 9456313b57ed updated for release; wenzelm parents: 64072 diff changeset	8
68391 9b4f60bdad54 updated for release; wenzelm parents: 66640 diff changeset	9	* FIXME.
54034 07844b536810 some highlights of Isabelle2013-1 based on NEWS; wenzelm parents: 53978 diff changeset	10
12983 7d13480ee668 more stuff; wenzelm parents: 12964 diff changeset	11
68391 9b4f60bdad54 updated for release; wenzelm parents: 66640 diff changeset	12	You may get Isabelle2018 from the following mirror sites:
9928 b7698bd95a94 template; wenzelm parents: diff changeset	13
62190 ec5703538300 tuned URLs according to website; wenzelm parents: 62084 diff changeset	14	Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle
ec5703538300 tuned URLs according to website; wenzelm parents: 62084 diff changeset	15	Munich (Germany) http://isabelle.in.tum.de
ec5703538300 tuned URLs according to website; wenzelm parents: 62084 diff changeset	16	Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle
62197 f354900ac0ea updated mirrors according to website; wenzelm parents: 62190 diff changeset	17	Potsdam, NY (USA) http://mirror.clarkson.edu/isabelle

author	Lars Hupel <lars.hupel@mytum.de>
	Fri, 29 Jun 2018 10:24:36 +0200
changeset 68530	a110dcc9a4c7
parent 68391	9b4f60bdad54
child 68545	7922992c99ea
permissions	-rw-r--r--