--- a/src/Tools/VSCode/README.md Fri Feb 25 12:56:40 2022 +0100
+++ b/src/Tools/VSCode/README.md Fri Feb 25 13:15:27 2022 +0100
@@ -1,19 +1,35 @@
-# Isabelle/PIDE for Visual Studio Code editor #
+# Isabelle/VSCode development #
+
+## System setup ##
-## Debug ##
+* install default node.js (e.g. via Ubuntu package)
-* shell> `code src/Tools/VSCode/extension`
+* update to recent stable version:
-* Preferences / User settings / edit settings.json: e.g.
- `"isabelle.home": "/home/makarius/isabelle/repos"`
+ sudo npm cache clean -f
+ sudo npm install -g n
+ sudo n stable
-* View / Debug / Launch Extension
+* install vsce:
-* File / Open Folder: e.g. `src/HOL/Examples/` then open .thy files
+ sudo npm install -g vsce
-## Build ##
+## Edit and debug ##
+
+* Shell commands within $ISABELLE_HOME directory:
+
+ isabelle vscode --uninstall-extension makarius.Isabelle
+ isabelle vscode src/Tools/VSCode/extension
-* shell> `isabelle build_vscode`
+* VSCode commands:
+ Run / Start Debugging (F5)
+ File / Open Folder: e.g. `src/HOL/Examples/` then open .thy files
+
-* Extensions / ... / Install from VSIX: `src/Tools/VSCode/extension/isabelle-X.Y.Z.vsix`
+## Build and install ##
+
+* Shell commands within $ISABELLE_HOME directory:
+
+ isabelle build_vscode
+ isabelle vscode --install-extension src/Tools/VSCode/extension/isabelle-1.2.2.vsix