--- /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