isabelle: src/Tools/VSCode/extension/package.json@aaa016619678 (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",
65271 9dcd6574383b updated package; wenzelm parents: 65230 diff changeset	13	"version": "0.11.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": {
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	55	"isabelle.home": {
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	56	"type": "string",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	57	"default": "",
64755 ceb81f4928ea support for Windows; wenzelm parents: 64752 diff changeset	58	"description": "Main Isabelle directory (ISABELLE_HOME)."
64734 12558536d977 more configuration; wenzelm parents: 64696 diff changeset	59	},
64743 ebaf9d01a964 tuned; wenzelm parents: 64738 diff changeset	60	"isabelle.args": {
64734 12558536d977 more configuration; wenzelm parents: 64696 diff changeset	61	"type": "array",
12558536d977 more configuration; wenzelm parents: 64696 diff changeset	62	"items": { "type": "string" },
12558536d977 more configuration; wenzelm parents: 64696 diff changeset	63	"default": [],
64755 ceb81f4928ea support for Windows; wenzelm parents: 64752 diff changeset	64	"description": "Command-line arguments for isabelle vscode_server process."
65104 66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	65	},
65172 365e97f009ed default cygwin_root from Isabelle distribution; wenzelm parents: 65169 diff changeset	66	"isabelle.cygwin_root": {
365e97f009ed default cygwin_root from Isabelle distribution; wenzelm parents: 65169 diff changeset	67	"type": "string",
365e97f009ed default cygwin_root from Isabelle distribution; wenzelm parents: 65169 diff changeset	68	"default": "",
365e97f009ed default cygwin_root from Isabelle distribution; wenzelm parents: 65169 diff changeset	69	"description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)."
365e97f009ed default cygwin_root from Isabelle distribution; wenzelm parents: 65169 diff changeset	70	},
65104 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)" },
65185 663bb1614d23 tuned colors; wenzelm parents: 65183 diff changeset	72	"isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.20)" },
65177 976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	73	"isabelle.running1_light_color": { "type": "string", "default": "rgba(97, 0, 97, 0.40)" },
65185 663bb1614d23 tuned colors; wenzelm parents: 65183 diff changeset	74	"isabelle.running1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.40)" },
65177 976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	75	"isabelle.bad_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	76	"isabelle.bad_dark_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	77	"isabelle.intensify_light_color": { "type": "string", "default": "rgba(255, 204, 102, 0.40)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	78	"isabelle.intensify_dark_color": { "type": "string", "default": "rgba(204, 136, 0, 0.20)" },
65104 66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	79	"isabelle.markdown_item1_light_color": { "type": "string", "default": "rgba(218, 254, 218, 1.00)" },
65177 976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	80	"isabelle.markdown_item1_dark_color": { "type": "string", "default": "rgba(5, 199, 5, 0.20)" },
65104 66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	81	"isabelle.markdown_item2_light_color": { "type": "string", "default": "rgba(255, 240, 204, 1.00)" },
65177 976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	82	"isabelle.markdown_item2_dark_color": { "type": "string", "default": "rgba(204, 143, 0, 0.20)" },
65104 66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	83	"isabelle.markdown_item3_light_color": { "type": "string", "default": "rgba(231, 231, 255, 1.00)" },
65177 976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	84	"isabelle.markdown_item3_dark_color": { "type": "string", "default": "rgba(0, 0, 204, 0.20)" },
65104 66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	85	"isabelle.markdown_item4_light_color": { "type": "string", "default": "rgba(255, 224, 240, 1.00)" },
65177 976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	86	"isabelle.markdown_item4_dark_color": { "type": "string", "default": "rgba(204, 0, 105, 0.20)" },
65104 66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	87	"isabelle.quoted_light_color": { "type": "string", "default": "rgba(139, 139, 139, 0.10)" },
65183 37f1effd6683 tuned colors; wenzelm parents: 65181 diff changeset	88	"isabelle.quoted_dark_color": { "type": "string", "default": "rgba(150, 150, 150, 0.15)" },
65104 66b19d05dcee decorations for background and foreground colors; wenzelm parents: 65098 diff changeset	89	"isabelle.antiquoted_light_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" },
65183 37f1effd6683 tuned colors; wenzelm parents: 65181 diff changeset	90	"isabelle.antiquoted_dark_color": { "type": "string", "default": "rgba(255, 214, 102, 0.15)" },
65122 1edb570f5b17 decorations for dotted underline: less intrusive; wenzelm parents: 65104 diff changeset	91	"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	92	"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	93	"isabelle.information_light_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
65134 511bf19348d3 clarified messages (with improved scalability): legacy/error as diagnostics, writeln/information/warning/bad as tooltips (dynamic hover); wenzelm parents: 65122 diff changeset	94	"isabelle.information_dark_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
511bf19348d3 clarified messages (with improved scalability): legacy/error as diagnostics, writeln/information/warning/bad as tooltips (dynamic hover); wenzelm parents: 65122 diff changeset	95	"isabelle.warning_light_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
65142 368004bed323 decorations for spell-checker; wenzelm parents: 65134 diff changeset	96	"isabelle.warning_dark_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
368004bed323 decorations for spell-checker; wenzelm parents: 65134 diff changeset	97	"isabelle.spell_checker_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.0)" },
65177 976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	98	"isabelle.spell_checker_dark_color": { "type": "string", "default": "rgba(86, 156, 214, 1.00)" },
65181 b4105202751c tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65179 diff changeset	99	"isabelle.main_light_color": { "type": "string", "default": "rgba(0, 0, 0, 1.00)" },
b4105202751c tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65179 diff changeset	100	"isabelle.main_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" },
65175 93fb59c68052 tuned colors; wenzelm parents: 65172 diff changeset	101	"isabelle.keyword1_light_color": { "type": "string", "default": "rgba(175, 0, 219, 1.00)" },
93fb59c68052 tuned colors; wenzelm parents: 65172 diff changeset	102	"isabelle.keyword1_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" },
93fb59c68052 tuned colors; wenzelm parents: 65172 diff changeset	103	"isabelle.keyword2_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" },
93fb59c68052 tuned colors; wenzelm parents: 65172 diff changeset	104	"isabelle.keyword2_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" },
93fb59c68052 tuned colors; wenzelm parents: 65172 diff changeset	105	"isabelle.keyword3_light_color": { "type": "string", "default": "rgba(38, 127, 153, 1.00)" },
93fb59c68052 tuned colors; wenzelm parents: 65172 diff changeset	106	"isabelle.keyword3_dark_color": { "type": "string", "default": "rgba(78, 201, 176), 1.00)" },
65146 69ea3f1715be decorations for text color; wenzelm parents: 65142 diff changeset	107	"isabelle.quasi_keyword_light_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
69ea3f1715be decorations for text color; wenzelm parents: 65142 diff changeset	108	"isabelle.quasi_keyword_dark_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
65175 93fb59c68052 tuned colors; wenzelm parents: 65172 diff changeset	109	"isabelle.improper_light_color": { "type": "string", "default": "rgba(205, 49, 49, 1.00)" },
93fb59c68052 tuned colors; wenzelm parents: 65172 diff changeset	110	"isabelle.improper_dark_color": { "type": "string", "default": "rgba(244, 71, 71, 1.00)" },
65146 69ea3f1715be decorations for text color; wenzelm parents: 65142 diff changeset	111	"isabelle.operator_light_color": { "type": "string", "default": "rgba(50, 50, 50, 1.00)" },
65175 93fb59c68052 tuned colors; wenzelm parents: 65172 diff changeset	112	"isabelle.operator_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" },
65146 69ea3f1715be decorations for text color; wenzelm parents: 65142 diff changeset	113	"isabelle.tfree_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
69ea3f1715be decorations for text color; wenzelm parents: 65142 diff changeset	114	"isabelle.tfree_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
69ea3f1715be decorations for text color; wenzelm parents: 65142 diff changeset	115	"isabelle.tvar_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
69ea3f1715be decorations for text color; wenzelm parents: 65142 diff changeset	116	"isabelle.tvar_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
69ea3f1715be decorations for text color; wenzelm parents: 65142 diff changeset	117	"isabelle.free_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.00)" },
65177 976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	118	"isabelle.free_dark_color": { "type": "string", "default": "rgba(86, 156, 214, 1.00)" },
65146 69ea3f1715be decorations for text color; wenzelm parents: 65142 diff changeset	119	"isabelle.skolem_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
69ea3f1715be decorations for text color; wenzelm parents: 65142 diff changeset	120	"isabelle.skolem_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
69ea3f1715be decorations for text color; wenzelm parents: 65142 diff changeset	121	"isabelle.bound_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
65177 976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	122	"isabelle.bound_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	123	"isabelle.var_light_color": { "type": "string", "default": "rgba(0, 16, 128, 1.00)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	124	"isabelle.var_dark_color": { "type": "string", "default": "rgba(156, 220, 254, 1.00)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	125	"isabelle.inner_numeral_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	126	"isabelle.inner_numeral_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	127	"isabelle.inner_quoted_light_color": { "type": "string", "default": "rgba(163, 21, 21, 1.00)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	128	"isabelle.inner_quoted_dark_color": { "type": "string", "default": "rgba(206, 145, 120, 1.00)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	129	"isabelle.inner_cartouche_light_color": { "type": "string", "default": "rgba(129, 31, 63, 1.00)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	130	"isabelle.inner_cartouche_dark_color": { "type": "string", "default": "rgba(209, 105, 105, 1.00)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	131	"isabelle.inner_comment_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	132	"isabelle.inner_comment_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	133	"isabelle.dynamic_light_color": { "type": "string", "default": "rgba(121, 94, 38, 1.00)" },
976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	134	"isabelle.dynamic_dark_color": { "type": "string", "default": "rgba(220, 220, 170, 1.00)" },
65146 69ea3f1715be decorations for text color; wenzelm parents: 65142 diff changeset	135	"isabelle.class_parameter_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
69ea3f1715be decorations for text color; wenzelm parents: 65142 diff changeset	136	"isabelle.class_parameter_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
69ea3f1715be decorations for text color; wenzelm parents: 65142 diff changeset	137	"isabelle.antiquote_light_color": { "type": "string", "default": "rgba(102, 0, 204, 1.00)" },
65177 976938956460 tuned colors according to Light+ and Dark+ themes; wenzelm parents: 65176 diff changeset	138	"isabelle.antiquote_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" }
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	139	}
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	140	}
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	141	},
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	142	"scripts": {
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	143	"vscode:prepublish": "tsc -p ./",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	144	"compile": "tsc -watch -p ./",
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	145	"postinstall": "node ./node_modules/vscode/bin/install"
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	146	},
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	147	"devDependencies": {
65886 aaa016619678 updated dependencies; wenzelm parents: 65271 diff changeset	148	"typescript": "^2.3.2",
aaa016619678 updated dependencies; wenzelm parents: 65271 diff changeset	149	"vscode": "^1.1.0",
aaa016619678 updated dependencies; wenzelm parents: 65271 diff changeset	150	"mocha": "^3.4.1",
aaa016619678 updated dependencies; wenzelm parents: 65271 diff changeset	151	"@types/node": "^7.0.21",
aaa016619678 updated dependencies; wenzelm parents: 65271 diff changeset	152	"@types/mocha": "^2.2.41"
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	153	},
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	154	"dependencies": {
65886 aaa016619678 updated dependencies; wenzelm parents: 65271 diff changeset	155	"vscode-languageclient": "~3.2.2"
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	156	}
65192 7b8dc3910b96 updated package; wenzelm parents: 65185 diff changeset	157	}

author	wenzelm
	Sun, 21 May 2017 13:01:50 +0200
changeset 65886	aaa016619678
parent 65271	9dcd6574383b
child 65913	f330f538dae6
permissions	-rw-r--r--