isabelle: src/Tools/VSCode/extension/package.json@09b872c58c32 (annotated)

64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	1	{
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	2	"name": "isabelle",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	3	"displayName": "Isabelle",
64757 7e3924224769 updated package; wenzelm parents: 64755 diff changeset	4	"description": "Isabelle Prover IDE",
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	5	"keywords": [
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	6	"theorem prover",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	7	"formalized mathematics",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	8	"mathematical logic",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	9	"functional programming",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	10	"document preparation"
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	11	],
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	12	"icon": "isabelle.png",
64949 09b872c58c32 updated package; wenzelm parents: 64875 diff changeset	13	"version": "0.6.0",
64696 e991a4fab0dc publish extension on Visual Studio Marketplace; wenzelm parents: 64695 diff changeset	14	"publisher": "makarius",
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	15	"license": "BSD-3-Clause",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	16	"repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
64757 7e3924224769 updated package; wenzelm parents: 64755 diff changeset	17	"engines": { "vscode": "^1.8.0" },
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	18	"categories": ["Languages"],
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	19	"activationEvents": [
64750 1f855e03455f proper use of isabelle-ml; wenzelm parents: 64749 diff changeset	20	"onLanguage:isabelle",
1f855e03455f proper use of isabelle-ml; wenzelm parents: 64749 diff changeset	21	"onLanguage:isabelle-ml"
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	22	],
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	23	"main": "./out/src/extension",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	24	"contributes": {
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	25	"languages": [
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	26	{
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	27	"id": "isabelle",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	28	"aliases": ["Isabelle"],
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	29	"extensions": [".thy"],
64736 07bf45283b92 clarified file name; wenzelm parents: 64735 diff changeset	30	"configuration": "./isabelle-language.json"
64749 2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist wenzelm parents: 64743 diff changeset	31	},
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist wenzelm parents: 64743 diff changeset	32	{
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist wenzelm parents: 64743 diff changeset	33	"id": "isabelle-ml",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist wenzelm parents: 64743 diff changeset	34	"aliases": ["Isabelle/ML"],
64780 99e8f7d4936f more file types; wenzelm parents: 64769 diff changeset	35	"extensions": [".ML", ".sml", ".sig"],
64752 c23c754f8c58 more specific isabelle-ml language support; wenzelm parents: 64750 diff changeset	36	"configuration": "./isabelle-ml-language.json"
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	37	}
64749 2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist wenzelm parents: 64743 diff changeset	38
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	39	],
64749 2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist wenzelm parents: 64743 diff changeset	40	"grammars": [
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist wenzelm parents: 64743 diff changeset	41	{
64738 bcdecd466cb2 generate static TextMate grammar for VSCode editor; wenzelm parents: 64736 diff changeset	42	"language": "isabelle",
bcdecd466cb2 generate static TextMate grammar for VSCode editor; wenzelm parents: 64736 diff changeset	43	"scopeName": "source.isabelle",
bcdecd466cb2 generate static TextMate grammar for VSCode editor; wenzelm parents: 64736 diff changeset	44	"path": "./isabelle-grammar.json"
64749 2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist wenzelm parents: 64743 diff changeset	45	},
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist wenzelm parents: 64743 diff changeset	46	{
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist wenzelm parents: 64743 diff changeset	47	"language": "isabelle-ml",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist wenzelm parents: 64743 diff changeset	48	"scopeName": "source.isabelle-ml",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist wenzelm parents: 64743 diff changeset	49	"path": "./isabelle-ml-grammar.json"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist wenzelm parents: 64743 diff changeset	50	}
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist wenzelm parents: 64743 diff changeset	51	],
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	52	"configuration": {
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	53	"title": "Isabelle",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	54	"properties": {
64755 ceb81f4928ea support for Windows; wenzelm parents: 64752 diff changeset	55	"isabelle.cygwin_root": {
ceb81f4928ea support for Windows; wenzelm parents: 64752 diff changeset	56	"type": "string",
ceb81f4928ea support for Windows; wenzelm parents: 64752 diff changeset	57	"default": "",
ceb81f4928ea support for Windows; wenzelm parents: 64752 diff changeset	58	"description": "Root of Cygwin installation on Windows (e.g. ISABELLE_HOME/cygwin)."
ceb81f4928ea support for Windows; wenzelm parents: 64752 diff changeset	59	},
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	60	"isabelle.home": {
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	61	"type": "string",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	62	"default": "",
64755 ceb81f4928ea support for Windows; wenzelm parents: 64752 diff changeset	63	"description": "Main Isabelle directory (ISABELLE_HOME)."
64734 12558536d977 more configuration; wenzelm parents: 64696 diff changeset	64	},
64743 ebaf9d01a964 tuned; wenzelm parents: 64738 diff changeset	65	"isabelle.args": {
64734 12558536d977 more configuration; wenzelm parents: 64696 diff changeset	66	"type": "array",
12558536d977 more configuration; wenzelm parents: 64696 diff changeset	67	"items": { "type": "string" },
12558536d977 more configuration; wenzelm parents: 64696 diff changeset	68	"default": [],
64755 ceb81f4928ea support for Windows; wenzelm parents: 64752 diff changeset	69	"description": "Command-line arguments for isabelle vscode_server process."
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	70	}
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	71	}
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	72	}
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	73	},
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	74	"scripts": {
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	75	"vscode:prepublish": "tsc -p ./",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	76	"compile": "tsc -watch -p ./",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	77	"postinstall": "node ./node_modules/vscode/bin/install"
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	78	},
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	79	"devDependencies": {
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	80	"typescript": "^2.0.3",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	81	"vscode": "^1.0.0",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	82	"mocha": "^2.3.3",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	83	"@types/node": "^6.0.40",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	84	"@types/mocha": "^2.2.32"
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	85	},
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	86	"dependencies": {
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	87	"vscode-languageclient": "^2.6.3"
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	88	}
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	89	}

author	wenzelm
	Wed, 25 Jan 2017 23:09:06 +0100
changeset 64949	09b872c58c32
parent 64875	4efffde18a90
child 65091	f7aaf4ce55a9
permissions	-rw-r--r--