isabelle: src/Tools/VSCode/extension/package.json@1edb570f5b17 (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",
65091 f7aaf4ce55a9 clarified LICENSE; wenzelm parents: 64949 diff changeset	15	"license": "MIT",
64605 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."
65104 66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	70	},
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	71	"isabelle.unprocessed1_light_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	72	"isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	73	"isabelle.running1_light_color": { "type": "string", "default": "rgba(97, 0, 97, 0.39)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	74	"isabelle.running1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.39)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	75	"isabelle.bad_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.39)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	76	"isabelle.bad_dark_color": { "type": "string", "default": "rgba(255, 106, 106, 0.39)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	77	"isabelle.intensify_light_color": { "type": "string", "default": "rgba(255, 204, 102, 0.39)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	78	"isabelle.intensify_dark_color": { "type": "string", "default": "rgba(255, 204, 102, 0.39)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	79	"isabelle.entity_light_color": { "type": "string", "default": "rgba(204, 217, 255, 0.50)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	80	"isabelle.entity_dark_color": { "type": "string", "default": "rgba(204, 217, 255, 0.50)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	81	"isabelle.active_light_color": { "type": "string", "default": "rgba(220, 220, 220, 1.00)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	82	"isabelle.active_dark_color": { "type": "string", "default": "rgba(220, 220, 220, 1.00)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	83	"isabelle.active_result_light_color": { "type": "string", "default": "rgba(153, 153, 102, 1.00)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	84	"isabelle.active_result_dark_color": { "type": "string", "default": "rgba(153, 153, 102, 1.00)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	85	"isabelle.markdown_item1_light_color": { "type": "string", "default": "rgba(218, 254, 218, 1.00)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	86	"isabelle.markdown_item1_dark_color": { "type": "string", "default": "rgba(218, 254, 218, 1.00)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	87	"isabelle.markdown_item2_light_color": { "type": "string", "default": "rgba(255, 240, 204, 1.00)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	88	"isabelle.markdown_item2_dark_color": { "type": "string", "default": "rgba(255, 240, 204, 1.00)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	89	"isabelle.markdown_item3_light_color": { "type": "string", "default": "rgba(231, 231, 255, 1.00)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	90	"isabelle.markdown_item3_dark_color": { "type": "string", "default": "rgba(231, 231, 255, 1.00)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	91	"isabelle.markdown_item4_light_color": { "type": "string", "default": "rgba(255, 224, 240, 1.00)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	92	"isabelle.markdown_item4_dark_color": { "type": "string", "default": "rgba(255, 224, 240, 1.00)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	93	"isabelle.quoted_light_color": { "type": "string", "default": "rgba(139, 139, 139, 0.10)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	94	"isabelle.quoted_dark_color": { "type": "string", "default": "rgba(139, 139, 139, 0.10)" },
66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	95	"isabelle.antiquoted_light_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" },
65122 1edb570f5b17 decorations for dotted underline: less intrusive; wenzelm parents: 65104 diff changeset	96	"isabelle.antiquoted_dark_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" },
1edb570f5b17 decorations for dotted underline: less intrusive; wenzelm parents: 65104 diff changeset	97	"isabelle.writeln_light_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
1edb570f5b17 decorations for dotted underline: less intrusive; wenzelm parents: 65104 diff changeset	98	"isabelle.writeln_dark_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
1edb570f5b17 decorations for dotted underline: less intrusive; wenzelm parents: 65104 diff changeset	99	"isabelle.information_light_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
1edb570f5b17 decorations for dotted underline: less intrusive; wenzelm parents: 65104 diff changeset	100	"isabelle.information_dark_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" }
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	101	}
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	102	}
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	103	},
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	104	"scripts": {
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	105	"vscode:prepublish": "tsc -p ./",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	106	"compile": "tsc -watch -p ./",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	107	"postinstall": "node ./node_modules/vscode/bin/install"
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	108	},
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	109	"devDependencies": {
65092 7672b29e544e clarified versions; wenzelm parents: 65091 diff changeset	110	"typescript": "^2.1.0",
65098 b47ba1778e44 evade odd version conflicts for batch build (e.g. "vsce package"); wenzelm parents: 65092 diff changeset	111	"vscode": "^1.0.0",
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	112	"mocha": "^2.3.3",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	113	"@types/node": "^6.0.40",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	114	"@types/mocha": "^2.2.32"
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	115	},
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	116	"dependencies": {
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	117	"vscode-languageclient": "^2.6.3"
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	118	}
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	119	}

author	wenzelm
	Sun, 05 Mar 2017 22:32:33 +0100
changeset 65122	1edb570f5b17
parent 65104	66b19d05dcee
child 65134	511bf19348d3
permissions	-rw-r--r--