unused (see also 83197a0ac6df);

--- a/src/Tools/VSCode/extension/src/library.ts	Mon Nov 03 15:14:09 2025 +0100
+++ b/src/Tools/VSCode/extension/src/library.ts	Mon Nov 03 15:18:23 2025 +0100
@@ -48,8 +48,3 @@
   if (s) return s
   else throw new Error("Undefined Isabelle environment variable: " + quote(name))
 }
-
-export function workspace_path(path: string): string
-{
-  return getenv_strict("ISABELLE_VSCODE_WORKSPACE") + "/" + path
-}