src/Tools/VSCode/extension/package.json
changeset 64605 9c1173a7e4cb
child 64695 135313951082
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/VSCode/extension/package.json	Mon Dec 19 20:27:49 2016 +0100
@@ -0,0 +1,58 @@
+{
+    "name": "isabelle",
+    "displayName": "Isabelle",
+    "description": "Isabelle Theorem Prover",
+    "keywords": [
+        "theorem prover",
+        "formalized mathematics",
+        "mathematical logic",
+        "functional programming",
+        "document preparation"
+        ],
+    "icon": "isabelle.png",
+    "version": "0.0.1",
+    "publisher": "Makarius",
+    "license": "BSD-3-Clause",
+    "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
+    "engines": { "vscode": "^1.5.0" },
+    "categories": ["Languages"],
+    "activationEvents": [
+        "onLanguage:isabelle"
+    ],
+    "main": "./out/src/extension",
+    "contributes": {
+        "languages": [
+            {
+                "id": "isabelle",
+                "aliases": ["Isabelle"],
+                "extensions": [".thy"],
+                "configuration": "./language-configuration.json"
+            }
+        ],
+        "configuration": {
+            "title": "Isabelle",
+            "properties": {
+                "isabelle.home": {
+                    "type": "string",
+                    "default": "",
+                    "description": "ISABELLE_HOME directory"
+                }
+            }
+        }
+    },
+    "scripts": {
+        "vscode:prepublish": "tsc -p ./",
+        "compile": "tsc -watch -p ./",
+        "postinstall": "node ./node_modules/vscode/bin/install"
+    },
+    "devDependencies": {
+        "typescript": "^2.0.3",
+        "vscode": "^1.0.0",
+        "mocha": "^2.3.3",
+        "@types/node": "^6.0.40",
+        "@types/mocha": "^2.2.32"
+    },
+    "dependencies": {
+        "vscode-languageclient": "^2.6.3"
+    }
+}
\ No newline at end of file