--- a/src/Tools/VSCode/extension/src/extension.ts Tue Mar 07 00:06:16 2017 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts Tue Mar 07 10:52:04 2017 +0100
@@ -23,7 +23,7 @@
vscode.window.showErrorMessage("Missing user settings: isabelle.home")
else {
let isabelle_tool = isabelle_home.concat("/bin/isabelle")
- let standard_args = ["-o", "vscode_unicode_symbols"]
+ let standard_args = ["-o", "vscode_unicode_symbols", "-o", "vscode_pide_extensions"]
let run =
is_windows ?
{ command: cygwin_root.concat("/bin/bash"),