1Subject: Announcing Isabelle2020 2To: isabelle-users@cl.cam.ac.uk 3 4Isabelle2020 is now available. 5 6This version introduces many changes over Isabelle2019: see the NEWS 7file for further details. Here are some notable points: 8 9* PIDE: much faster startup of Isabelle/jEdit thanks to more scalable 10session directory structure. 11 12* PIDE: updated Isabelle/VSCode to follow recent moves of VSCode. 13 14* Pure: improved treatment of theorem dependencies and proof terms, 15accessible via command 'thm_deps'. 16 17* Pure: proper treatment of oracles within internal proof objects, 18accessible via command 'thm_oracles'. 19 20* HOL: various library improvements. 21 22* HOL: better organization of HOL-Analysis vs. HOL-Complex_Analysis. 23 24* ML: more scalable export artifacts via XML blobs. 25 26* Scala: support for external IDEs based on Gradle (e.g. IntelliJ IDEA). 27 28* Scala: support for Ubuntu server applications (Linux-Apache-MySQL-PHP). 29 30* System: Isabelle/Phabricator as self-hosted project management platform. 31 32* System: update to current Poly/ML 5.8.1 with improved robustness, 33especially on Windows. 34 35* System: improved support for macOS, notably 10.15 Catalina. 36 37 38You may get Isabelle2020 from the following mirror sites: 39 40 Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle 41 Munich (Germany) https://isabelle.in.tum.de 42 Sydney (Australia) https://mirror.cse.unsw.edu.au/pub/isabelle 43 Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle 44