--- a/src/Tools/VSCode/extension/README.md Fri Mar 10 11:03:46 2017 +0100
+++ b/src/Tools/VSCode/extension/README.md Fri Mar 10 14:16:45 2017 +0100
@@ -16,11 +16,6 @@
* On Windows: `isabelle.home` as above, but in Windows path notation with
drive-letter and backslashes.
- Moreover, `isabelle.cygwin_root` needs to point to a suitable Cygwin
- installation, e.g. `$ISABELLE_HOME\contrib\cygwin` for a regular Isabelle
- application bundle, or `C:\cygwin` for a stand-alone installation used
- with Isabelle repository snapshot.
-
## Isabelle symbols ##