# HG changeset patch # User wenzelm # Date 1557594506 -7200 # Node ID a8238fd25541bea1871b1b212dc9e0a06c2a9ba3 # Parent ad0306b89cfb39e9f7790e8157a1931c0d732b31 back to post-release mode; diff -r ad0306b89cfb -r a8238fd25541 CONTRIBUTORS --- a/CONTRIBUTORS Sat May 11 15:53:11 2019 +0200 +++ b/CONTRIBUTORS Sat May 11 19:08:26 2019 +0200 @@ -3,6 +3,10 @@ listed as an author in one of the source files of this Isabelle distribution. +Contributions to this Isabelle version +-------------------------------------- + + Contributions to Isabelle2019 ----------------------------- diff -r ad0306b89cfb -r a8238fd25541 NEWS --- a/NEWS Sat May 11 15:53:11 2019 +0200 +++ b/NEWS Sat May 11 19:08:26 2019 +0200 @@ -4,6 +4,10 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) +New in this Isabelle version +---------------------------- + + New in Isabelle2019 (June 2019) ------------------------------- diff -r ad0306b89cfb -r a8238fd25541 src/Tools/VSCode/extension/README.md --- a/src/Tools/VSCode/extension/README.md Sat May 11 15:53:11 2019 +0200 +++ b/src/Tools/VSCode/extension/README.md Sat May 11 19:08:26 2019 +0200 @@ -1,15 +1,14 @@ # Isabelle Prover IDE support This extension connects VSCode to the Isabelle Prover IDE infrastructure: it -requires Isabelle2019. +requires a repository version of Isabelle. The implementation is centered around the VSCode Language Server protocol, but with many add-ons that are specific to VSCode and Isabelle/PIDE. See also: - * - * + * * @@ -59,8 +58,8 @@ ### Isabelle/VSCode Installation - * Download Isabelle2019 from - or any of its mirror sites. + * Download a recent Isabelle development snapshot from + * Unpack and run the main Isabelle/jEdit application as usual, to ensure that the logic image is built properly and Isabelle works as expected. @@ -69,7 +68,7 @@ * Open the VSCode *Extensions* view and install the following: - + *Isabelle2019* (needs to fit to the underlying Isabelle release). + + *Isabelle* (needs to fit to the underlying Isabelle release). + *Prettify Symbols Mode* (important for display of Isabelle symbols). @@ -90,17 +89,17 @@ + Linux: ``` - "isabelle.home": "/home/makarius/Isabelle2019" + "isabelle.home": "/home/makarius/Isabelle" ``` + Mac OS X: ``` - "isabelle.home": "/Users/makarius/Isabelle.app/Isabelle2019" + "isabelle.home": "/Users/makarius/Isabelle.app/Isabelle" ``` + Windows: ``` - "isabelle.home": "C:\\Users\\makarius\\Isabelle2019" + "isabelle.home": "C:\\Users\\makarius\\Isabelle" ``` * Restart the VSCode application to ensure that all extensions are properly diff -r ad0306b89cfb -r a8238fd25541 src/Tools/VSCode/extension/package.json --- a/src/Tools/VSCode/extension/package.json Sat May 11 15:53:11 2019 +0200 +++ b/src/Tools/VSCode/extension/package.json Sat May 11 19:08:26 2019 +0200 @@ -1,6 +1,6 @@ { - "name": "Isabelle2019", - "displayName": "Isabelle2019", + "name": "Isabelle", + "displayName": "Isabelle", "description": "Isabelle Prover IDE", "keywords": [ "theorem prover",