# HG changeset patch
# User Thomas Lindae <thomas.lindae@in.tum.de>
# Date 1721242950 -7200
# Node ID 664c1a6cc8c1b2991dc1d8b99e0dc635e2947fad
# Parent  f2e7e240c4249523ad178250288cb2607cbb8d4c
vscode: removed README because its content is outdated;

diff -r f2e7e240c424 -r 664c1a6cc8c1 src/Tools/VSCode/README.md
--- a/src/Tools/VSCode/README.md	Wed Jul 17 20:56:27 2024 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,32 +0,0 @@
-# Isabelle/VSCode development #
-
-## System requirements ##
-
-* install default node.js (e.g. via Ubuntu package)
-
-* update to recent stable version:
-
-    sudo npm cache clean -f
-    sudo npm install -g n
-    sudo n stable
-
-* install add-on tools:
-
-    sudo npm install -g yarn vsce
-
-
-## Edit and debug ##
-
-* Shell commands within $ISABELLE_HOME directory:
-
-    isabelle component_vscode_extension -U
-    isabelle vscode src/Tools/VSCode/extension
-
-* VSCode commands:
-    Run / Start Debugging (F5)
-    File / Open Folder: e.g. `src/HOL/Examples/` then open .thy files
-
-
-## Build and install ##
-
-    isabelle component_vscode_extension -I