wenzelm@64605: {
wenzelm@64605:     "name": "isabelle",
wenzelm@64605:     "displayName": "Isabelle",
wenzelm@64605:     "description": "Isabelle Theorem Prover",
wenzelm@64605:     "keywords": [
wenzelm@64605:         "theorem prover",
wenzelm@64605:         "formalized mathematics",
wenzelm@64605:         "mathematical logic",
wenzelm@64605:         "functional programming",
wenzelm@64605:         "document preparation"
wenzelm@64605:         ],
wenzelm@64605:     "icon": "isabelle.png",
wenzelm@64695:     "version": "0.1.0",
wenzelm@64696:     "publisher": "makarius",
wenzelm@64605:     "license": "BSD-3-Clause",
wenzelm@64605:     "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
wenzelm@64605:     "engines": { "vscode": "^1.5.0" },
wenzelm@64605:     "categories": ["Languages"],
wenzelm@64605:     "activationEvents": [
wenzelm@64605:         "onLanguage:isabelle"
wenzelm@64605:     ],
wenzelm@64605:     "main": "./out/src/extension",
wenzelm@64605:     "contributes": {
wenzelm@64605:         "languages": [
wenzelm@64605:             {
wenzelm@64605:                 "id": "isabelle",
wenzelm@64605:                 "aliases": ["Isabelle"],
wenzelm@64605:                 "extensions": [".thy"],
wenzelm@64605:                 "configuration": "./language-configuration.json"
wenzelm@64605:             }
wenzelm@64605:         ],
wenzelm@64605:         "configuration": {
wenzelm@64605:             "title": "Isabelle",
wenzelm@64605:             "properties": {
wenzelm@64605:                 "isabelle.home": {
wenzelm@64605:                     "type": "string",
wenzelm@64605:                     "default": "",
wenzelm@64605:                     "description": "ISABELLE_HOME directory"
wenzelm@64734:                 },
wenzelm@64734:                 "isabelle.arguments": {
wenzelm@64734:                     "type": "array",
wenzelm@64734:                     "items": { "type": "string" },
wenzelm@64734:                     "default": [],
wenzelm@64734:                     "description": "command-line arguments for isabelle vscode_server"
wenzelm@64605:                 }
wenzelm@64605:             }
wenzelm@64605:         }
wenzelm@64605:     },
wenzelm@64605:     "scripts": {
wenzelm@64605:         "vscode:prepublish": "tsc -p ./",
wenzelm@64605:         "compile": "tsc -watch -p ./",
wenzelm@64605:         "postinstall": "node ./node_modules/vscode/bin/install"
wenzelm@64605:     },
wenzelm@64605:     "devDependencies": {
wenzelm@64605:         "typescript": "^2.0.3",
wenzelm@64605:         "vscode": "^1.0.0",
wenzelm@64605:         "mocha": "^2.3.3",
wenzelm@64605:         "@types/node": "^6.0.40",
wenzelm@64605:         "@types/mocha": "^2.2.32"
wenzelm@64605:     },
wenzelm@64605:     "dependencies": {
wenzelm@64605:         "vscode-languageclient": "^2.6.3"
wenzelm@64605:     }
wenzelm@64605: }