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