--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/VSCode/no_extension/README.md Wed Mar 02 20:32:16 2022 +0100
@@ -0,0 +1,15 @@
+# Isabelle/VSCode Prover IDE (PIDE)
+
+This extension is obsolete!
+
+Isabelle2021-1 (December 2021) is the last Isabelle release with a separate
+VSCode extension on the public marketplace (see "makarius.Isabelle2021-1").
+Starting with Isabelle2022, a fully integrated Isabelle/VSCode with
+corresponding extension is incorporated into the Isabelle distribution.
+
+See also the regular Isabelle webite and its mirrors:
+
+ Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle
+ Munich (Germany) https://isabelle.in.tum.de
+ Sydney (Australia) https://mirror.cse.unsw.edu.au/pub/isabelle
+ Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle