package.json

{
  "name": "vscoq",
  "displayName": "VsCoq",
  "description": "VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant",
  "publisher": "maximedenes",
  "license": "MIT",
  "version": "2.2.5",
  "repository": {
    "type": "git",
    "url": "https://github.com/coq-community/vscoq.git"
  },
  "icon": "assets/logo.png",
  "engines": {
    "vscode": "^1.74.0"
  },
  "dependencies": {
    "compare-versions": "^6.0.0-rc.1",
    "vscode-languageclient": "^9.0.1",
    "which": "^5.0.0"
  },
  "categories": [
    "Programming Languages"
  ],
  "keywords": [
    "coq",
    "theorem prover",
    "proof assistant"
  ],
  "readme": "https://github.com/coq-community/vscoq/blob/master/README.md",
  "bugs": "https://github.com/coq-community/vscoq/issues",
  "homepage": "https://github.com/coq-community/vscoq/blob/master/README.md",
  "activationEvents": [],
  "main": "./dist/extension.js",
  "contributes": {
    "languages": [
      {
        "id": "coq",
        "aliases": [
          "Coq",
          "coq",
          "Gallina",
          "gallina"
        ],
        "extensions": [
          ".v"
        ],
        "configuration": "./syntax/coq.language-configuration.json",
        "icon": {
          "light": "./assets/logo.png",
          "dark": "./assets/logo.png"
        }
      },
      {
        "id": "coq-project",
        "aliases": [
          "Coq Project",
          "coq-project"
        ],
        "extensions": [
          "_CoqProject"
        ],
        "configuration": "./syntax/coq-project.language-configuration.json",
        "icon": {
          "light": "./assets/logo.png",
          "dark": "./assets/logo.png"
        }
      }
    ],
    "grammars": [
      {
        "language": "coq",
        "scopeName": "source.coq",
        "path": "./syntax/coq.tmLanguage.json"
      },
      {
        "language": "coq-project",
        "scopeName": "source.coq-project",
        "path": "./syntax/coq-project.tmLanguage.json"
      }
    ],
    "viewsContainers": {
      "activitybar": [
        {
          "id": "vscoq-sidebar",
          "title": "Coq Proof Assistant",
          "icon": "./assets/vscoq_logo.svg"
        }
      ]
    },
    "views": {
      "vscoq-sidebar": [
        {
          "type": "webview",
          "id": "vscoq.search",
          "name": "Query",
          "when": "resourceLangId == coq || editorLangId == coq"
        }
      ]
    },
    "configuration": [
      {
        "title": "Coq configuration",
        "type": "object",
        "properties": {
          "vscoq-language-server.trace.server": {
            "scope": "window",
            "type": "string",
            "enum": [
              "off",
              "messages",
              "compact",
              "verbose"
            ],
            "default": "off",
            "description": "Traces the communication between VS Code and the language server."
          },
          "vscoq.path": {
            "type": "string",
            "default": "",
            "description": "Path to vscoqtop."
          },
          "vscoq.args": {
            "type": "array",
            "default": [],
            "description": "vscoqtop arguments"
          }
        }
      },
      {
        "title": "Memory management",
        "type": "object",
        "properties": {
          "vscoq.memory.limit": {
            "scope": "workspace",
            "type": "number",
            "default": 4,
            "description": "Sets the memory limit over which we discard the execution state of documents which have been saved (in Gb). "
          }
        }
      },
      {
        "title": "Goal and Info view panel",
        "type": "object",
        "properties": {
          "vscoq.goals.auto": {
            "scope": "window",
            "type": "boolean",
            "default": "true",
            "description": "Should the goal view automatically display when navigating a coq document."
          },
          "vscoq.goals.display": {
            "scope": "window",
            "type": "string",
            "enum": [
              "Tabs",
              "List"
            ],
            "default": "List",
            "description": "Determines whether multiple goals should be displayed in different tabs or as a list of collapsible items."
          },
          "vscoq.goals.diff.mode": {
            "type": "string",
            "enum": [
              "off",
              "on",
              "removed"
            ],
            "default": "off",
            "markdownDescription": "Controls VsCoq's diff mode. If `on`, only added characters are displayed. If `removed` is selected, both added and removed characters are shown."
          },
          "vscoq.goals.messages.full": {
            "type": "boolean",
            "default": true,
            "markdownDescription": "Include warning and errors in proofview messages"
          },
          "vscoq.goals.maxDepth": {
            "type": "number",
            "default": 17,
            "markdownDescription": "The maximum depth in goals over which an ellipsis will be displayed (instead of the sub-terms)."
          }
        }
      },
      {
        "title": "Proof checking",
        "type": "object",
        "properties": {
          "vscoq.proof.mode": {
            "scope": "window",
            "type": "number",
            "enum": [
              0,
              1
            ],
            "enumItemLabels": [
              "Manual",
              "Continuous"
            ],
            "default": 0,
            "description": "Configures the proof checking mode for Coq."
          },
          "vscoq.proof.pointInterpretationMode": {
            "scope": "window",
            "type": "number",
            "enum": [
              0,
              1
            ],
            "enumItemLabels": [
              "Cursor",
              "NextCommand"
            ],
            "default": 0,
            "description": "Determines the point to which the proof should be checked when using the `Interpret to point` command."
          },
          "vscoq.proof.cursor.sticky": {
            "scope": "window",
            "type": "boolean",
            "default": true,
            "description": "Move the editor's cursor position as Coq interactively steps forward/backward a command"
          },
          "vscoq.proof.delegation": {
            "scope": "window",
            "type": "string",
            "enum": [
              "None",
              "Skip",
              "Delegate"
            ],
            "enumItemLabels": [
              "No delegation (all proofs are checked one after the other)",
              "Skip the proofs which are out of focus. This requires a continuous checking to be off",
              "Delegate proofs"
            ],
            "default": "None",
            "description": "Determines which delegation strategy should be used by the server."
          },
          "vscoq.proof.workers": {
            "scope": "window",
            "type": "number",
            "default": 1,
            "description": "Amount of workers assigned to proofs in delegation mode"
          },
          "vscoq.proof.block": {
            "scope": "window",
            "type": "boolean",
            "default": true,
            "description": "Should execution be halted after reaching the first error ? "
          },
          "vscoq.proof.display-buttons": {
            "scope": "workspace",
            "type": "boolean",
            "default": true,
            "description": "Toggles whether the Coq buttons are displayed in the editor actions tab menu."
          }
        }
      },
      {
        "title": "Code Completion",
        "type": "object",
        "properties": {
          "vscoq.completion.enable": {
            "scope": "window",
            "type": "boolean",
            "default": false,
            "description": "Enable completion support from the VsCoq language server"
          },
          "vscoq.completion.unificationLimit": {
            "scope": "window",
            "type": "number",
            "default": 100,
            "minimum": 0,
            "description": "Sets the limit for how many theorems unification is attempted for when attempting code completion for the application of theorems. This determines which theorems can be marked as applicable. The higher the limit, the better results will be, but the slower code completion will be."
          },
          "vscoq.completion.algorithm": {
            "scope": "window",
            "type": "number",
            "enum": [
              0,
              1
            ],
            "enumItemLabels": [
              "SplitTypeIntersection",
              "StructuredSplitUnification"
            ],
            "default": 1,
            "description": "Configures the ranking algorithm for auto completions in Coq."
          }
        }
      },
      {
        "title": "Diagnostics",
        "type": "object",
        "properties": {
          "vscoq.diagnostics.full": {
            "scope": "window",
            "type": "boolean",
            "default": false,
            "description": "Include info in diagnostics"
          }
        }
      }
    ],
    "commands": [
      {
        "command": "extension.coq.showManual",
        "category": "Coq",
        "title": "Docs: Show manual"
      },
      {
        "command": "extension.coq.walkthrough",
        "category": "Coq",
        "title": "Docs: Show setup guide"
      },
      {
        "command": "extension.coq.showSetup",
        "category": "Coq",
        "title": "Troubleshooting: Show setup"
      },
      {
        "command": "extension.coq.showLog",
        "category": "Coq",
        "title": "Troubleshooting: Show Log Output"
      },
      {
        "command": "extension.coq.reset",
        "category": "Coq",
        "title": "Reset",
        "icon": "$(fold-up)"
      },
      {
        "command": "extension.coq.query.search",
        "category": "Coq",
        "title": "Search",
        "description": "Search for the term pattern at the cursor"
      },
      {
        "command": "extension.coq.query.about",
        "category": "Coq",
        "title": "About",
        "description": "About the term pattern at the cursor"
      },
      {
        "command": "extension.coq.query.check",
        "category": "Coq",
        "title": "Check",
        "description": "Check the type of term at the cursor"
      },
      {
        "command": "extension.coq.query.locate",
        "title": "Locate",
        "description": "Locate the term at the cursor",
        "category": "Coq"
      },
      {
        "command": "extension.coq.query.print",
        "title": "Print",
        "description": "Print the definition of the term at the cursor",
        "category": "Coq"
      },
      {
        "command": "extension.coq.interpretToPoint",
        "category": "Coq",
        "title": "Interpret to point",
        "description": "Interprets the current coq file until the given point",
        "enablement": "config.vscoq.proof.mode == 0",
        "icon": "$(arrow-right)"
      },
      {
        "command": "extension.coq.interpretToEnd",
        "category": "Coq",
        "title": "Interpret to end",
        "description": "Interprets the current coq file until the end",
        "enablement": "config.vscoq.proof.mode == 0",
        "icon": "$(fold-down)"
      },
      {
        "command": "extension.coq.stepForward",
        "title": "Step Forward",
        "category": "Coq",
        "icon": "$(arrow-down)"
      },
      {
        "command": "extension.coq.stepBackward",
        "title": "Step Backward",
        "category": "Coq",
        "icon": "$(arrow-up)"
      },
      {
        "command": "extension.coq.displayProofView",
        "title": "Display Proof View",
        "category": "Coq",
        "icon": "$(open-preview)"
      },
      {
        "command": "extension.coq.documentState",
        "title": "Troubleshooting: Get current document state",
        "category": "Coq"
      },
      {
        "command": "extension.coq.addQueryTab",
        "title": "Add Tab",
        "category": "Coq",
        "icon": "$(add)"
      },
      {
        "command": "extension.coq.collapseAllQueries",
        "title": "Collapse All",
        "category": "Coq",
        "icon": "$(collapse-all)",
        "enablement": "vscoq.hasSearchResults"
      },
      {
        "command": "extension.coq.expandAllQueries",
        "title": "Expand All",
        "category": "Coq",
        "icon": "$(expand-all)",
        "enablement": "vscoq.hasSearchResults"
      }
    ],
    "menus": {
      "editor/title": [
        {
          "when": "resourceLangId == coq && config.vscoq.proof.display-buttons == true",
          "command": "extension.coq.interpretToPoint",
          "group": "navigation@3"
        },
        {
          "when": "resourceLangId == coq && config.vscoq.proof.display-buttons == true",
          "command": "extension.coq.stepForward",
          "group": "navigation@1"
        },
        {
          "when": "resourceLangId == coq && config.vscoq.proof.display-buttons == true",
          "command": "extension.coq.stepBackward",
          "group": "navigation@2"
        },
        {
          "when": "resourceLangId == coq && config.vscoq.proof.display-buttons == true",
          "command": "extension.coq.interpretToEnd",
          "group": "navigation@4"
        },
        {
          "when": "resourceLangId == coq && config.vscoq.proof.display-buttons == true",
          "command": "extension.coq.reset",
          "group": "navigation@5"
        },
        {
          "when": "resourceLangId == coq && config.vscoq.proof.display-buttons == true && !config.vscoq.goals.auto",
          "command": "extension.coq.displayProofView",
          "group": "navigation@0"
        },
        {
          "when": "resourceLangId == coq && config.vscoq.proof.display-buttons == true",
          "submenu": "vscoq.menu",
          "group": "navigation@0"
        }
      ],
      "vscoq.menu": [
        {
          "when": "resourceLangId == coq",
          "command": "extension.coq.documentState",
          "group": "1_troubleshooting@1"
        },
        {
          "when": "resourceLangId == coq",
          "command": "extension.coq.showSetup",
          "group": "1_troubleshooting@2"
        },
        {
          "when": "resourceLangId == coq",
          "command": "extension.coq.showLog",
          "group": "1_troubleshooting@2"
        },
        {
          "when": "resourceLangId == coq",
          "submenu": "vscoq.menu.doc",
          "group": "2_documentation@0"
        }
      ],
      "vscoq.menu.doc": [
        {
          "when": "resourceLangId == coq",
          "command": "extension.coq.walkthrough"
        },
        {
          "when": "resourceLangId == coq",
          "command": "extension.coq.showManual"
        }
      ],
      "editor/context": [
        {
          "when": "resourceLangId == coq",
          "command": "extension.coq.interpretToPoint",
          "group": "navigation@coq"
        },
        {
          "when": "resourceLangId == coq",
          "command": "extension.coq.query.check",
          "group": "queries"
        },
        {
          "when": "resourceLangId == coq",
          "command": "extension.coq.query.print",
          "group": "queries"
        },
        {
          "when": "resourceLangId == coq",
          "command": "extension.coq.query.search",
          "group": "queries"
        },
        {
          "when": "resourceLangId == coq",
          "command": "extension.coq.query.locate",
          "group": "queries"
        }
      ],
      "view/title": [
        {
          "command": "extension.coq.addQueryTab",
          "group": "navigation",
          "when": "view == vscoq.search"
        },
        {
          "command": "extension.coq.collapseAllQueries",
          "group": "navigation",
          "when": "view == vscoq.search && vscoq.expandedQueries"
        },
        {
          "command": "extension.coq.expandAllQueries",
          "group": "navigation",
          "enablement": "editorHasSelection",
          "when": "view == vscoq.search && !vscoq.expandedQueries"
        }
      ]
    },
    "submenus": [
      {
        "id": "vscoq.menu",
        "icon": {
          "dark": "./assets/vscoq-mini-dark.svg",
          "light": "./assets/vscoq-mini-light.svg"
        },
        "label": "Coq"
      },
      {
        "id": "vscoq.menu.doc",
        "label": "Documentation"
      }
    ],
    "keybindings": [
      {
        "key": "alt+down",
        "mac": "ctrl+alt+down",
        "command": "extension.coq.stepForward",
        "when": "editorTextFocus && editorLangId == coq"
      },
      {
        "key": "alt+down",
        "mac": "ctrl+alt+down",
        "command": "extension.coq.stepForward",
        "when": "resourceScheme==coq-view"
      },
      {
        "key": "alt+up",
        "mac": "ctrl+alt+up",
        "command": "extension.coq.stepBackward",
        "when": "editorTextFocus && editorLangId == coq"
      },
      {
        "key": "alt+up",
        "mac": "ctrl+alt+up",
        "command": "extension.coq.stepBackward",
        "when": "resourceScheme==coq-view"
      },
      {
        "key": "alt+right",
        "mac": "ctrl+alt+right",
        "command": "extension.coq.interpretToPoint",
        "when": "editorTextFocus && editorLangId == coq"
      },
      {
        "key": "alt+right",
        "mac": "ctrl+alt+right",
        "command": "extension.coq.interpretToPoint",
        "when": "resourceScheme==coq-view"
      },
      {
        "key": "alt+end",
        "mac": "ctrl+alt+end",
        "command": "extension.coq.interpretToEnd",
        "when": "editorTextFocus && editorLangId == coq"
      },
      {
        "key": "alt+end",
        "mac": "ctrl+alt+end",
        "command": "extension.coq.interpretToEnd",
        "when": "resourceScheme==coq-view"
      },
      {
        "key": "ctrl+alt+a",
        "mac": "cmd+ctrl+a",
        "command": "extension.coq.query.about",
        "when": "editorTextFocus && editorLangId == coq"
      },
      {
        "key": "ctrl+alt+k",
        "mac": "cmd+ctrl+k",
        "command": "extension.coq.query.search",
        "when": "editorTextFocus && editorLangId == coq"
      },
      {
        "key": "ctrl+alt+c",
        "mac": "cmd+ctrl+c",
        "command": "extension.coq.query.check",
        "when": "editorTextFocus && editorLangId == coq"
      },
      {
        "key": "ctrl+alt+l",
        "mac": "cmd+ctrl+l",
        "command": "extension.coq.query.locate",
        "when": "editorTextFocus && editorLangId == coq"
      },
      {
        "key": "ctrl+alt+p",
        "mac": "cmd+ctrl+p",
        "command": "extension.coq.query.print",
        "when": "editorTextFocus && editorLangId == coq"
      }
    ],
    "colors": [
      {
        "id": "coq.proofviewText",
        "description": "Color for proofview text.",
        "defaults": {
          "dark": "#cccccc",
          "light": "#333333",
          "highContrast": "#333333"
        }
      },
      {
        "id": "coq.proofviewMessage",
        "description": "Color for proofview messages.",
        "defaults": {
          "dark": "#cccccc",
          "light": "#333333",
          "highContrast": "#333333"
        }
      },
      {
        "id": "coq.proofviewError",
        "description": "Color for proofview errors.",
        "defaults": {
          "dark": "#ffc0cb",
          "light": "#ff0000",
          "highContrast": "#ff0000"
        }
      },
      {
        "id": "coq.hypothesisIdent",
        "description": "Color for goal hypotheses identifiers.",
        "defaults": {
          "dark": "#20b2aa",
          "light": "#006400",
          "highContrast": "#006400"
        }
      },
      {
        "id": "coq.hypothesesSeparator",
        "description": "Color for hypotheses separator.",
        "defaults": {
          "dark": "#ffffff66",
          "light": "#00000033",
          "highContrast": "#00000033"
        }
      },
      {
        "id": "coq.oddHypothesisBackground",
        "description": "Background color for hypotheses with odd index.",
        "defaults": {
          "dark": "#0000000d",
          "light": "#ffffff0d",
          "highContrast": "#ffffff0d"
        }
      },
      {
        "id": "coq.newHypothesisBackground",
        "description": "Background color for new hypotheses.",
        "defaults": {
          "dark": "#00ff0017",
          "light": "#00aa0040",
          "highContrast": "#00aa0040"
        }
      },
      {
        "id": "coq.changedHypothesisBackground",
        "description": "Background color for changed hypotheses.",
        "defaults": {
          "dark": "#0000ff26",
          "light": "#0000ff0d",
          "highContrast": "#0000ff0d"
        }
      },
      {
        "id": "coq.goalId",
        "description": "Color of goal identifiers.",
        "defaults": {
          "dark": "#add8e6",
          "light": "#00008b",
          "highContrast": "#00008b"
        }
      },
      {
        "id": "coq.addedCharacter",
        "description": "Color of added characters (in diffs).",
        "defaults": {
          "dark": "#00fa0033",
          "light": "#00fa0033",
          "highContrast": "#00fa0033"
        }
      },
      {
        "id": "coq.addedCharacterBackground",
        "description": "Color of added characters (in diffs).",
        "defaults": {
          "dark": "#00fa000f",
          "light": "#00fa000f",
          "highContrast": "#00fa000f"
        }
      },
      {
        "id": "coq.removedCharacter",
        "description": "Color of removed characters (in diffs).",
        "defaults": {
          "dark": "#fa000066",
          "light": "#fa000066",
          "highContrast": "#fa000066"
        }
      },
      {
        "id": "coq.removedCharacterBackground",
        "description": "Color of removed characters (in diffs).",
        "defaults": {
          "dark": "#fa000033",
          "light": "#fa000033",
          "highContrast": "#fa000033"
        }
      },
      {
        "id": "coq.mainSubgoalBackground",
        "description": "Background color for main subgoal.",
        "defaults": {
          "dark": "#ffffff0d",
          "light": "#0000000d",
          "highContrast": "#0000000d"
        }
      },
      {
        "id": "coq.subgoalBackground",
        "description": "Background color for subgoals.",
        "defaults": {
          "dark": "#ffffff0d",
          "light": "#0000000d",
          "highContrast": "#0000000d"
        }
      },
      {
        "id": "coq.subgoalSeparator",
        "description": "Color of subgoal separators.",
        "defaults": {
          "dark": "#ffffff33",
          "light": "#00000033",
          "highContrast": "#00000033"
        }
      },
      {
        "id": "coq.termNotation",
        "description": "Color of term notations.",
        "defaults": {
          "dark": "#ff8c00",
          "light": "#ff8c00",
          "highContrast": "#ff8c00"
        }
      },
      {
        "id": "coq.termKeyword",
        "description": "Color of term keywords.",
        "defaults": {
          "dark": "#6495ed",
          "light": "#6495ed",
          "highContrast": "#6495ed"
        }
      },
      {
        "id": "coq.termEvar",
        "description": "Color of existential variables.",
        "defaults": {
          "dark": "#ff8c00",
          "light": "#ff8c00",
          "highContrast": "#ff8c00"
        }
      },
      {
        "id": "coq.termPath",
        "description": "Color of term paths.",
        "defaults": {
          "dark": "#9370d8",
          "light": "#ff8c00",
          "highContrast": "#ff8c00"
        }
      },
      {
        "id": "coq.termReference",
        "description": "Color of name references in terms.",
        "defaults": {
          "dark": "#7cfc00",
          "light": "#32cd32",
          "highContrast": "#32cd32"
        }
      },
      {
        "id": "coq.termType",
        "description": "Color of types in terms.",
        "defaults": {
          "dark": "#f08080",
          "light": "#ff7f50",
          "highContrast": "#ff7f50"
        }
      },
      {
        "id": "coq.termVariable",
        "description": "Color of variables in terms.",
        "defaults": {
          "dark": "#7fff00",
          "light": "#20b2aa",
          "highContrast": "#20b2aa"
        }
      },
      {
        "id": "coq.debugMessage",
        "description": "Color of debug messages.",
        "defaults": {
          "dark": "#9370d8",
          "light": "#daa520",
          "highContrast": "#daa520"
        }
      },
      {
        "id": "coq.errorMessage",
        "description": "Color of error messages.",
        "defaults": {
          "dark": "#ff0000",
          "light": "#ff0000",
          "highContrast": "#ff0000"
        }
      },
      {
        "id": "coq.warningMessage",
        "description": "Color of warning messages.",
        "defaults": {
          "dark": "#ffff00",
          "light": "#ff6f00",
          "highContrast": "#ff6f00"
        }
      },
      {
        "id": "coq.moduleKeyword",
        "description": "Color of module keywords.",
        "defaults": {
          "dark": "#6495ed",
          "light": "#6495ed",
          "highContrast": "#6495ed"
        }
      },
      {
        "id": "coq.tacticKeyword",
        "description": "Color of tactic keywords.",
        "defaults": {
          "dark": "#6495ed",
          "light": "#6495ed",
          "highContrast": "#6495ed"
        }
      },
      {
        "id": "coq.tacticPrimitive",
        "description": "Color of tactic primitives.",
        "defaults": {
          "dark": "#5f9ea0",
          "light": "#5f9ea0",
          "highContrast": "#5f9ea0"
        }
      },
      {
        "id": "coq.tacticString",
        "description": "Color of tactic strings.",
        "defaults": {
          "dark": "#ffa500",
          "light": "#ffa500",
          "highContrast": "#ffa500"
        }
      }
    ],
    "walkthroughs": [
      {
        "id": "coq.welcome",
        "title": "Coq Setup",
        "description": "Getting started with Coq",
        "steps": [
          {
            "id": "coq.welcome.openHelpPage",
            "title": "Re-open the setup page",
            "description": "This page is accessible at any moment by opening an empty file, clicking on the Coq menu and selecting ``Documentation > Docs: Show Setup Guide`` from the drop down menu.",
            "media": {
              "image": "./media/open_walkthrough.png",
              "altText": "Click on the Coq symbol and go to ```Docs: Show Setup Guide``` to re-open this walkthrough."
            }
          },
          {
            "id": "coq.welcome.books",
            "title": "Ressources to get started in the Coq world",
            "description": "You can find helpful books, documentations, and tutorials on this page",
            "media": {
              "markdown": "./media/books.md"
            }
          },
          {
            "id": "coq.welcome.install",
            "title": "Install dependencies",
            "description": "How to install Coq, setup VsCoq and its dependencies",
            "media": {
              "markdown": "./media/install.md"
            }
          },
          {
            "id": "coq.welcome.troubleshooting",
            "title": "Getting help",
            "description": "If you have any questions or are having problem with any of the previous steps, please head over to the [Coq zulip chat](https://coq.zulipchat.com/) so we can help you.",
            "media": {
              "markdown": "./media/troubleshooting.md"
            }
          }
        ]
      }
    ]
  },
  "scripts": {
    "install:all": "yarn install && cd pp-display && yarn install && cd ../goal-view-ui && yarn install && cd ../search-ui && yarn install",
    "build:all": "cd pp-display && yarn run build && cd ../goal-view-ui && yarn run build && cd ../search-ui && yarn run build && cd .. && yarn compile",
    "start:goal-view-ui": "cd goal-view-ui && yarn run start",
    "build:goal-view-ui": "cd goal-view-ui && yarn run build",
    "build:dev:goal-view-ui": "cd goal-view-ui && yarn run build:dev",
    "start:search-ui": "cd search-ui && yarn run start",
    "build:search-ui": "cd search-ui && yarn run build",
    "build:dev:search-ui": "cd search-ui && yarn run build:dev",
    "compile": "webpack",
    "watch": "webpack --watch",
    "package": "yarn run install:all && yarn run build:all && webpack --mode production --devtool hidden-source-map",
    "compile-tests": "tsc -p . --outDir out",
    "watch-tests": "tsc -p . -w --outDir out",
    "pretest": "yarn run compile-tests && yarn run compile && yarn run lint",
    "lint": "eslint src --ext ts",
    "test": "node ./out/test/runTest.js"
  },
  "devDependencies": {
    "@types/glob": "^8.0.0",
    "@types/mocha": "^10.0.1",
    "@types/node": "16.x",
    "@types/tmp": "^0.2.3",
    "@types/vscode": "^1.74.0",
    "@types/which": "^3.0.4",
    "@typescript-eslint/eslint-plugin": "^5.45.0",
    "@typescript-eslint/parser": "^5.45.0",
    "@vscode/test-electron": "^2.2.0",
    "@vscode/vsce": "^2.19.0",
    "eslint": "^8.28.0",
    "eslint-config-prettier": "^9.1.0",
    "expect": "^29.4.3",
    "glob": "^8.0.3",
    "mocha": "^10.1.0",
    "prettier": "3.3.3",
    "prettier-plugin-organize-imports": "^4.0.0",
    "tmp-promise": "^3.0.3",
    "ts-loader": "^9.4.1",
    "typescript": "^4.9.3",
    "vsce": "^2.15.0",
    "webpack": "^5.94.0",
    "webpack-cli": "^5.0.0"
  }
}