# HG changeset patch # User wenzelm # Date 1504365712 -7200 # Node ID e2671e8c476f881d0a7671e6ff10387c0201d7eb # Parent 53dcc7454221cec64ab5affc05a749db6d858ffc VSCode extension for official Isabelle release; diff -r 53dcc7454221 -r e2671e8c476f Admin/Release/CHECKLIST --- a/Admin/Release/CHECKLIST Sat Sep 02 17:15:12 2017 +0200 +++ b/Admin/Release/CHECKLIST Sat Sep 02 17:21:52 2017 +0200 @@ -19,6 +19,10 @@ src/Tools/jEdit/src/Isabelle.props src/Tools/jEdit/src-base/Isabelle_Base.props +- check Isabelle version: + src/Tools/VSCode/extension/README.md + src/Tools/VSCode/extension/package.json + - check funny base directory, e.g. "Test 中国"; - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding diff -r 53dcc7454221 -r e2671e8c476f src/Tools/VSCode/extension/README.md --- a/src/Tools/VSCode/extension/README.md Sat Sep 02 17:15:12 2017 +0200 +++ b/src/Tools/VSCode/extension/README.md Sat Sep 02 17:21:52 2017 +0200 @@ -1,16 +1,15 @@ # Isabelle Prover IDE support -This extension connects VSCode to the Isabelle Prover IDE infrastructure. It -requires a recent development version of Isabelle from 2017 – one that happens -to fit to the extension version! +This extension connects VSCode to the Isabelle Prover IDE infrastructure: it +requires Isabelle2017. 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: - * - * + * + * * @@ -60,9 +59,8 @@ ### Isabelle/VSCode Installation - * Download a recent Isabelle development snapshot from - or the particular version - + * Download Isabelle2017 from or any of its mirror + sites. * Unpack and run the main Isabelle/jEdit application as usual, to ensure that the logic image is built properly and Isabelle works as expected. @@ -71,7 +69,7 @@ * Open the VSCode *Extensions* view and install the following: - + *Isabelle* (e.g. version 0.22). + + *Isabelle2017* (needs to fit to the underlying Isabelle release). + *Prettify Symbols Mode* (important for display of Isabelle symbols). @@ -92,17 +90,17 @@ + Linux: ``` - "isabelle.home": "/home/makarius/Isabelle_01-Jul-2017" + "isabelle.home": "/home/makarius/Isabelle2017" ``` + Mac OS X: ``` - "isabelle.home": "/Users/makarius/Isabelle_01-Jul-2017.app/Isabelle" + "isabelle.home": "/Users/makarius/Isabelle2017.app/Isabelle" ``` + Windows: ``` - "isabelle.home": "C:\\Users\\makarius\\Isabelle_01-Jul-2017" + "isabelle.home": "C:\\Users\\makarius\\Isabelle2017" ``` * Restart the VSCode application to ensure that all extensions are properly diff -r 53dcc7454221 -r e2671e8c476f src/Tools/VSCode/extension/package.json --- a/src/Tools/VSCode/extension/package.json Sat Sep 02 17:15:12 2017 +0200 +++ b/src/Tools/VSCode/extension/package.json Sat Sep 02 17:21:52 2017 +0200 @@ -1,6 +1,6 @@ { - "name": "isabelle", - "displayName": "Isabelle", + "name": "Isabelle2017", + "displayName": "Isabelle2017", "description": "Isabelle Prover IDE", "keywords": [ "theorem prover",