isabelle: ANNOUNCE@dc59f147b27d (annotated)

57452 ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	1	Subject: Announcing Isabelle2014
9928 b7698bd95a94 template; wenzelm parents: diff changeset	2	To: isabelle-users@cl.cam.ac.uk
b7698bd95a94 template; wenzelm parents: diff changeset	3
57452 ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	4	Isabelle2014 is now available.
ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	5
ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	6	This version significantly improves upon Isabelle2013-2, see the NEWS
ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	7	file in the distribution for more details. Some highlights are:
44975 f80d918f8ac0 tentative announcement based on current NEWS; wenzelm parents: 44801 diff changeset	8
57452 ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	9	* Improved Isabelle/jEdit Prover IDE: navigation, completion,
ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	10	spell-checking, Query panel, Simplifier Trace panel.
47869 fa59eb662e6c some highlights of Isabelle2012; wenzelm parents: 47462 diff changeset	11
57504 5cf245c62c4c misc tuning for release; wenzelm parents: 57452 diff changeset	12	* Support for auxiliary files within the Prover IDE, notably
5cf245c62c4c misc tuning for release; wenzelm parents: 57452 diff changeset	13	Isabelle/ML.
54034 07844b536810 some highlights of Isabelle2013-1 based on NEWS; wenzelm parents: 53978 diff changeset	14
57452 ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	15	* Support for official Standard ML within the Prover IDE,
ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	16	independently of Isabelle theory and proof development.
54034 07844b536810 some highlights of Isabelle2013-1 based on NEWS; wenzelm parents: 53978 diff changeset	17
57452 ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	18	* HOL: BNF datatypes and codatatypes within theory Main, with numerous
ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	19	add-on tools.
54034 07844b536810 some highlights of Isabelle2013-1 based on NEWS; wenzelm parents: 53978 diff changeset	20
57452 ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	21	* HOL tool enhancements: Nitpick, Sledgehammer.
ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	22
ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	23	* HOL: internal SAT solver "cdclite" with models and proof traces.
ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	24
ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	25	* HOL: updated SMT module, with support for SMT-LIB 2 and recent
ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	26	versions of Z3, as well as CVC3, CVC4.
54034 07844b536810 some highlights of Isabelle2013-1 based on NEWS; wenzelm parents: 53978 diff changeset	27
57505 63e2163c4736 tuned; wenzelm parents: 57504 diff changeset	28	* HOL: numerous library enhancements: main HOL, HOL-Word,
63e2163c4736 tuned; wenzelm parents: 57504 diff changeset	29	HOL-Multivariate_Analysis, HOL-Probability.
57504 5cf245c62c4c misc tuning for release; wenzelm parents: 57452 diff changeset	30
57511 de51a86fc903 tuned; wenzelm parents: 57505 diff changeset	31	* System integration: improved support of LaTeX on Windows platform.
57504 5cf245c62c4c misc tuning for release; wenzelm parents: 57452 diff changeset	32
57452 ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	33	* Updated and extended manuals: codegen, datatypes, implementation,
ecad2a53755a misc updates for release; wenzelm parents: 54639 diff changeset	34	isar-ref, jedit, system.
54034 07844b536810 some highlights of Isabelle2013-1 based on NEWS; wenzelm parents: 53978 diff changeset	35
12983 7d13480ee668 more stuff; wenzelm parents: 12964 diff changeset	36
57524 b8448367f9c7 update for release; wenzelm parents: 57511 diff changeset	37	You may get Isabelle2014 from the following mirror sites:
9928 b7698bd95a94 template; wenzelm parents: diff changeset	38
27085 dbf4f791953d adjusted location of cambridge website haftmann parents: 27066 diff changeset	39	Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle/
17696 eccdee8a0790 adjusted www links haftmann parents: 17692 diff changeset	40	Munich (Germany) http://isabelle.in.tum.de/
14616 b167b1b848d8 added sydney mirror kleing parents: 14614 diff changeset	41	Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle/

author	wenzelm
	Thu, 24 Jul 2014 11:54:15 +0200
changeset 57641	dc59f147b27d
parent 57524	b8448367f9c7
child 60016	6e6cc8c012a2
permissions	-rw-r--r--