--- a/src/Tools/VSCode/extension/package.json Tue Feb 22 21:30:39 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json Tue Feb 22 21:33:24 2022 +0100
@@ -174,11 +174,6 @@
"configuration": {
"title": "Isabelle",
"properties": {
- "isabelle.home": {
- "type": "string",
- "default": "",
- "description": "Main Isabelle directory (ISABELLE_HOME)."
- },
"isabelle.args": {
"type": "array",
"items": {
@@ -187,11 +182,6 @@
"default": [],
"description": "Command-line arguments for isabelle vscode_server process."
},
- "isabelle.cygwin_root": {
- "type": "string",
- "default": "",
- "description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)."
- },
"isabelle.replacement": {
"type": "string",
"default": "non-alphanumeric",