isabelle: ANNOUNCE@b408728a002a (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
68567 b408728a002a tuned; wenzelm parents: 68560 diff changeset	7	file for further details. Here are some notable points:
68545 7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	8
7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	9	* Improved infix notation within terms.
7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	10
7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	11	* Improved syntax for formal comments, within terms and other languages.
7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	12
7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	13	* Improved management of ROOT files and session-qualified theories.
7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	14
7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	15	* Various improvements of document preparation.
64392 9456313b57ed updated for release; wenzelm parents: 64072 diff changeset	16
68560 ad079be4f21c tuned; wenzelm parents: 68545 diff changeset	17	* Many Isabelle/jEdit improvements, including semantic IDE for BibTeX.
68545 7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	18
7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	19	* Numerous HOL library improvements, including HOL-Algebra.
7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	20
7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	21	* Substantial additions to HOL-Analysis.
7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	22
7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	23	* Isabelle server for reactive communication with other programs.
7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	24
7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	25	* More uniform 64-bit platform support: smaller Isabelle application.
54034 07844b536810 some highlights of Isabelle2013-1 based on NEWS; wenzelm parents: 53978 diff changeset	26
12983 7d13480ee668 more stuff; wenzelm parents: 12964 diff changeset	27
68391 9b4f60bdad54 updated for release; wenzelm parents: 66640 diff changeset	28	You may get Isabelle2018 from the following mirror sites:
9928 b7698bd95a94 template; wenzelm parents: diff changeset	29
62190 ec5703538300 tuned URLs according to website; wenzelm parents: 62084 diff changeset	30	Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle
ec5703538300 tuned URLs according to website; wenzelm parents: 62084 diff changeset	31	Munich (Germany) http://isabelle.in.tum.de
ec5703538300 tuned URLs according to website; wenzelm parents: 62084 diff changeset	32	Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle
62197 f354900ac0ea updated mirrors according to website; wenzelm parents: 62190 diff changeset	33	Potsdam, NY (USA) http://mirror.clarkson.edu/isabelle

author	wenzelm
	Mon, 02 Jul 2018 16:25:41 +0200
changeset 68567	b408728a002a
parent 68560	ad079be4f21c
child 68599	cc7b5e0355a5
permissions	-rw-r--r--