isabelle: ANNOUNCE@97fc4f657bda (annotated)

71485 29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	1	Subject: Announcing Isabelle2020
9928 b7698bd95a94 template; wenzelm parents: diff changeset	2	To: isabelle-users@cl.cam.ac.uk
b7698bd95a94 template; wenzelm parents: diff changeset	3
71485 29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	4	Isabelle2020 is now available.
60116 5d90d301ad66 ANNOUNCE material, based on NEWS; wenzelm parents: 60016 diff changeset	5
71485 29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	6	This version introduces many changes over Isabelle2019: 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
71485 29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	9	* PIDE: much faster startup of Isabelle/jEdit thanks to more scalable
29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	10	session directory structure.
68545 7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	11
71485 29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	12	* PIDE: updated Isabelle/VSCode to follow recent moves of VSCode.
68545 7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	13
71485 29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	14	* Pure: improved treatment of theorem dependencies and proof terms,
29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	15	accessible via command 'thm_deps'.
68545 7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	16
71485 29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	17	* Pure: proper treatment of oracles within internal proof objects,
29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	18	accessible via command 'thm_oracles'.
29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	19
29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	20	* HOL: various library improvements.
68545 7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	21
71485 29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	22	* HOL: better organization of HOL-Analysis vs. HOL-Complex_Analysis.
68545 7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	23
71485 29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	24	* ML: more scalable export artifacts via XML blobs.
29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	25
29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	26	* Scala: support for external IDEs based on Gradle (e.g. IntelliJ IDEA).
68545 7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	27
71485 29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	28	* Scala: support for Ubuntu server applications (Linux-Apache-MySQL-PHP).
68648 371e814af6f0 more ANNOUNCE; wenzelm parents: 68599 diff changeset	29
71485 29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	30	* System: Isabelle/Phabricator as self-hosted project management platform.
68648 371e814af6f0 more ANNOUNCE; wenzelm parents: 68599 diff changeset	31
71491 0a20dd339a05 tuned; wenzelm parents: 71485 diff changeset	32	* System: update to current Poly/ML 5.8.1 with improved robustness,
0a20dd339a05 tuned; wenzelm parents: 71485 diff changeset	33	especially on Windows.
68545 7922992c99ea misc tuning and updates for release; wenzelm parents: 68391 diff changeset	34
71485 29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	35	* System: improved support for macOS, notably 10.15 Catalina.
54034 07844b536810 some highlights of Isabelle2013-1 based on NEWS; wenzelm parents: 53978 diff changeset	36
12983 7d13480ee668 more stuff; wenzelm parents: 12964 diff changeset	37
71485 29e297fd5473 updated for release; wenzelm parents: 70286 diff changeset	38	You may get Isabelle2020 from the following mirror sites:
9928 b7698bd95a94 template; wenzelm parents: diff changeset	39
68599 cc7b5e0355a5 prefer HTTPS; wenzelm parents: 68567 diff changeset	40	Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle
cc7b5e0355a5 prefer HTTPS; wenzelm parents: 68567 diff changeset	41	Munich (Germany) https://isabelle.in.tum.de
70032 0674c24afc5e updated for release; wenzelm parents: 68648 diff changeset	42	Sydney (Australia) https://mirror.cse.unsw.edu.au/pub/isabelle
68599 cc7b5e0355a5 prefer HTTPS; wenzelm parents: 68567 diff changeset	43	Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle

author	wenzelm
	Thu, 23 Apr 2020 12:03:16 +0200
changeset 71790	97fc4f657bda
parent 71491	0a20dd339a05
child 73010	a569465f8b57
permissions	-rw-r--r--