# HG changeset patch
# User wenzelm
# Date 1645791327 -3600
# Node ID 4400eeb6c32de445bf1de50424b0eecf1da01a33
# Parent  177d6af44b34710266aa4508f4776c9c2c805b1a
updated notes on Isabelle/VSCode development;

diff -r 177d6af44b34 -r 4400eeb6c32d src/Tools/VSCode/README.md
--- 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