--- a/CONTRIBUTORS Fri Nov 12 18:45:02 2021 +0100
+++ b/CONTRIBUTORS Fri Nov 12 18:47:07 2021 +0100
@@ -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 Isabelle2021-1
-------------------------------
--- a/NEWS Fri Nov 12 18:45:02 2021 +0100
+++ b/NEWS Fri Nov 12 18:47:07 2021 +0100
@@ -4,6 +4,11 @@
(Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
+New in this Isabelle version
+----------------------------
+
+
+
New in Isabelle2021-1 (December 2021)
-------------------------------------
--- a/src/Tools/VSCode/extension/README.md Fri Nov 12 18:45:02 2021 +0100
+++ b/src/Tools/VSCode/extension/README.md Fri Nov 12 18:47:07 2021 +0100
@@ -1,14 +1,15 @@
# Isabelle Prover IDE support
This extension connects VSCode to the Isabelle Prover IDE infrastructure: it
-requires Isabelle2021-1.
+requires a suitable 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:
- * <https://isabelle.in.tum.de/website-Isabelle2021-1>
+ * <https://isabelle.sketis.net/repos/isabelle/file/tip/src/Tools/VSCode>
+ * <https://github.com/Microsoft/language-server-protocol>
## Screenshot
@@ -57,8 +58,8 @@
### Isabelle/VSCode Installation
- * Download Isabelle2021-1 from <https://isabelle.in.tum.de/website-Isabelle2021-1>
- or any of its mirror sites.
+ * Download a recent Isabelle development snapshot from
+ <https://isabelle.sketis.net/devel/release_snapshot>
* Unpack and run the main Isabelle/jEdit application as usual, to ensure that
the logic image is built properly and Isabelle works as expected.
@@ -88,17 +89,17 @@
+ Linux:
```
- "isabelle.home": "/home/makarius/Isabelle2021-1"
+ "isabelle.home": "/home/makarius/Isabelle"
```
+ Mac OS X:
```
- "isabelle.home": "/Users/makarius/Isabelle.app/Isabelle2021-1"
+ "isabelle.home": "/Users/makarius/Isabelle.app/Isabelle"
```
+ Windows:
```
- "isabelle.home": "C:\\Users\\makarius\\Isabelle2021-1"
+ "isabelle.home": "C:\\Users\\makarius\\Isabelle"
```
* Restart the VSCode application to ensure that all extensions are properly
--- a/src/Tools/VSCode/extension/package.json Fri Nov 12 18:45:02 2021 +0100
+++ b/src/Tools/VSCode/extension/package.json Fri Nov 12 18:47:07 2021 +0100
@@ -1,6 +1,6 @@
{
- "name": "Isabelle2021-1",
- "displayName": "Isabelle2021-1",
+ "name": "Isabelle",
+ "displayName": "Isabelle",
"description": "Isabelle Prover IDE",
"keywords": [
"theorem prover",