--- a/src/Tools/VSCode/extension/README.md Thu Mar 15 11:44:07 2018 +0100
+++ b/src/Tools/VSCode/extension/README.md Thu Mar 15 11:49:29 2018 +0100
@@ -1,7 +1,7 @@
# Isabelle Prover IDE support
This extension connects VSCode to the Isabelle Prover IDE infrastructure: it
-requires an unidentified repository version of Isabelle.
+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.