# HG changeset patch
# User wenzelm
# Date 1617811485 -7200
# Node ID f800f8becbfbcd6e7a165ae8caa7841c2321ee8f
# Parent  80db0d2759b54c8ff03b7a117c3084996b1c95d6
tuned;

diff -r 80db0d2759b5 -r f800f8becbfb src/Tools/VSCode/README.md
--- a/src/Tools/VSCode/README.md	Wed Apr 07 18:04:30 2021 +0200
+++ b/src/Tools/VSCode/README.md	Wed Apr 07 18:04:45 2021 +0200
@@ -9,7 +9,7 @@
 
 * View / Debug / Launch Extension
 
-* File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files
+* File / Open Folder: e.g. `src/HOL/Examples/` then open .thy files
 
 
 ## Build ##