diff -r ef9f9d43b867 -r 83197a0ac6df lib/Tools/vscode
--- a/lib/Tools/vscode	Mon Mar 07 17:18:19 2022 +0100
+++ b/lib/Tools/vscode	Mon Mar 07 21:16:12 2022 +0100
@@ -4,6 +4,8 @@
 #
 # DESCRIPTION: run Isabelle/VSCode using local VSCodium installation
 
+export ISABELLE_VSCODE_SYMBOLS="$(platform_path "$ISABELLE_VSCODE_WORKSPACE/symbols.json")"
+
 DIR="$(isabelle vscode_setup -C)" || exit "$?"
 exec "$DIR/bin/codium" \
   --locale en-US \