isabelle: ANNOUNCE@fce8b7c746b4 (annotated)

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

author	wenzelm
	Mon, 10 Oct 2016 11:11:38 +0200
changeset 64129	fce8b7c746b4
parent 64072	9f96e4da3064
child 64392	9456313b57ed
permissions	-rw-r--r--