--- a/src/Tools/VSCode/extension/README.md Wed Jan 20 21:42:04 2021 +0100
+++ b/src/Tools/VSCode/extension/README.md Wed Jan 20 22:43:58 2021 +0100
@@ -1,14 +1,15 @@
# Isabelle Prover IDE support
This extension connects VSCode to the Isabelle Prover IDE infrastructure: it
-requires a repository version of Isabelle.
+requires Isabelle2021.
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:
- * <https://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
+ * <https://isabelle.in.tum.de/website-Isabelle2021>
+ * <https://isabelle.in.tum.de/repos/isabelle/file/Isabelle2021/src/Tools/VSCode>
* <https://github.com/Microsoft/language-server-protocol>
@@ -58,8 +59,8 @@
### Isabelle/VSCode Installation
- * Download a recent Isabelle development snapshot from
- <https://isabelle.in.tum.de/devel/release_snapshot>
+ * Download Isabelle2021 from <https://isabelle.in.tum.de/website-Isabelle2021>
+ 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.
@@ -68,7 +69,7 @@
* Open the VSCode *Extensions* view and install the following:
- + *Isabelle* (needs to fit to the underlying Isabelle release).
+ + *Isabelle2021* (needs to fit to the underlying Isabelle release).
+ *Prettify Symbols Mode* (important for display of Isabelle symbols).
@@ -89,17 +90,17 @@
+ Linux:
```
- "isabelle.home": "/home/makarius/Isabelle"
+ "isabelle.home": "/home/makarius/Isabelle2021"
```
+ Mac OS X:
```
- "isabelle.home": "/Users/makarius/Isabelle.app/Isabelle"
+ "isabelle.home": "/Users/makarius/Isabelle.app/Isabelle2021"
```
+ Windows:
```
- "isabelle.home": "C:\\Users\\makarius\\Isabelle"
+ "isabelle.home": "C:\\Users\\makarius\\Isabelle2021"
```
* Restart the VSCode application to ensure that all extensions are properly
--- a/src/Tools/VSCode/extension/package.json Wed Jan 20 21:42:04 2021 +0100
+++ b/src/Tools/VSCode/extension/package.json Wed Jan 20 22:43:58 2021 +0100
@@ -1,6 +1,6 @@
{
- "name": "Isabelle",
- "displayName": "Isabelle",
+ "name": "Isabelle2021",
+ "displayName": "Isabelle2021",
"description": "Isabelle Prover IDE",
"keywords": [
"theorem prover",
@@ -10,7 +10,7 @@
"document preparation"
],
"icon": "isabelle.png",
- "version": "1.2.1",
+ "version": "1.2.2",
"publisher": "makarius",
"license": "MIT",
"repository": {