wenzelm@64605: {
wenzelm@64605:     "name": "isabelle",
wenzelm@64605:     "displayName": "Isabelle",
wenzelm@64757:     "description": "Isabelle Prover IDE",
wenzelm@64605:     "keywords": [
wenzelm@64605:         "theorem prover",
wenzelm@64605:         "formalized mathematics",
wenzelm@64605:         "mathematical logic",
wenzelm@64605:         "functional programming",
wenzelm@64605:         "document preparation"
wenzelm@64605:         ],
wenzelm@64605:     "icon": "isabelle.png",
wenzelm@65148:     "version": "0.7.0",
wenzelm@64696:     "publisher": "makarius",
wenzelm@65091:     "license": "MIT",
wenzelm@64605:     "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
wenzelm@64757:     "engines": { "vscode": "^1.8.0" },
wenzelm@64605:     "categories": ["Languages"],
wenzelm@64605:     "activationEvents": [
wenzelm@64750:         "onLanguage:isabelle",
wenzelm@64750:         "onLanguage:isabelle-ml"
wenzelm@64605:     ],
wenzelm@64605:     "main": "./out/src/extension",
wenzelm@64605:     "contributes": {
wenzelm@64605:         "languages": [
wenzelm@64605:             {
wenzelm@64605:                 "id": "isabelle",
wenzelm@64605:                 "aliases": ["Isabelle"],
wenzelm@64605:                 "extensions": [".thy"],
wenzelm@64736:                 "configuration": "./isabelle-language.json"
wenzelm@64749:             },
wenzelm@64749:             {
wenzelm@64749:                 "id": "isabelle-ml",
wenzelm@64749:                 "aliases": ["Isabelle/ML"],
wenzelm@64780:                 "extensions": [".ML", ".sml", ".sig"],
wenzelm@64752:                 "configuration": "./isabelle-ml-language.json"
wenzelm@64605:             }
wenzelm@64749: 
wenzelm@64605:         ],
wenzelm@64749:         "grammars": [
wenzelm@64749:             {
wenzelm@64738:                 "language": "isabelle",
wenzelm@64738:                 "scopeName": "source.isabelle",
wenzelm@64738:                 "path": "./isabelle-grammar.json"
wenzelm@64749:             },
wenzelm@64749:             {
wenzelm@64749:                 "language": "isabelle-ml",
wenzelm@64749:                 "scopeName": "source.isabelle-ml",
wenzelm@64749:                 "path": "./isabelle-ml-grammar.json"
wenzelm@64749:             }
wenzelm@64749:         ],
wenzelm@64605:         "configuration": {
wenzelm@64605:             "title": "Isabelle",
wenzelm@64605:             "properties": {
wenzelm@64755:                 "isabelle.cygwin_root": {
wenzelm@64755:                     "type": "string",
wenzelm@64755:                     "default": "",
wenzelm@64755:                     "description": "Root of Cygwin installation on Windows (e.g. ISABELLE_HOME/cygwin)."
wenzelm@64755:                 },
wenzelm@64605:                 "isabelle.home": {
wenzelm@64605:                     "type": "string",
wenzelm@64605:                     "default": "",
wenzelm@64755:                     "description": "Main Isabelle directory (ISABELLE_HOME)."
wenzelm@64734:                 },
wenzelm@64743:                 "isabelle.args": {
wenzelm@64734:                     "type": "array",
wenzelm@64734:                     "items": { "type": "string" },
wenzelm@64734:                     "default": [],
wenzelm@64755:                     "description": "Command-line arguments for isabelle vscode_server process."
wenzelm@65104:                 },
wenzelm@65104:                 "isabelle.unprocessed1_light_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" },
wenzelm@65104:                 "isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" },
wenzelm@65104:                 "isabelle.running1_light_color": { "type": "string", "default": "rgba(97, 0, 97, 0.39)" },
wenzelm@65104:                 "isabelle.running1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.39)" },
wenzelm@65104:                 "isabelle.bad_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.39)" },
wenzelm@65104:                 "isabelle.bad_dark_color": { "type": "string", "default": "rgba(255, 106, 106, 0.39)" },
wenzelm@65104:                 "isabelle.intensify_light_color": { "type": "string", "default": "rgba(255, 204, 102, 0.39)" },
wenzelm@65104:                 "isabelle.intensify_dark_color": { "type": "string", "default": "rgba(255, 204, 102, 0.39)" },
wenzelm@65104:                 "isabelle.entity_light_color": { "type": "string", "default": "rgba(204, 217, 255, 0.50)" },
wenzelm@65104:                 "isabelle.entity_dark_color": { "type": "string", "default": "rgba(204, 217, 255, 0.50)" },
wenzelm@65104:                 "isabelle.active_light_color": { "type": "string", "default": "rgba(220, 220, 220, 1.00)" },
wenzelm@65104:                 "isabelle.active_dark_color": { "type": "string", "default": "rgba(220, 220, 220, 1.00)" },
wenzelm@65104:                 "isabelle.active_result_light_color": { "type": "string", "default": "rgba(153, 153, 102, 1.00)" },
wenzelm@65104:                 "isabelle.active_result_dark_color": { "type": "string", "default": "rgba(153, 153, 102, 1.00)" },
wenzelm@65104:                 "isabelle.markdown_item1_light_color": { "type": "string", "default": "rgba(218, 254, 218, 1.00)" },
wenzelm@65104:                 "isabelle.markdown_item1_dark_color": { "type": "string", "default": "rgba(218, 254, 218, 1.00)" },
wenzelm@65104:                 "isabelle.markdown_item2_light_color": { "type": "string", "default": "rgba(255, 240, 204, 1.00)" },
wenzelm@65104:                 "isabelle.markdown_item2_dark_color": { "type": "string", "default": "rgba(255, 240, 204, 1.00)" },
wenzelm@65104:                 "isabelle.markdown_item3_light_color": { "type": "string", "default": "rgba(231, 231, 255, 1.00)" },
wenzelm@65104:                 "isabelle.markdown_item3_dark_color": { "type": "string", "default": "rgba(231, 231, 255, 1.00)" },
wenzelm@65104:                 "isabelle.markdown_item4_light_color": { "type": "string", "default": "rgba(255, 224, 240, 1.00)" },
wenzelm@65104:                 "isabelle.markdown_item4_dark_color": { "type": "string", "default": "rgba(255, 224, 240, 1.00)" },
wenzelm@65104:                 "isabelle.quoted_light_color": { "type": "string", "default": "rgba(139, 139, 139, 0.10)" },
wenzelm@65104:                 "isabelle.quoted_dark_color": { "type": "string", "default": "rgba(139, 139, 139, 0.10)" },
wenzelm@65104:                 "isabelle.antiquoted_light_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" },
wenzelm@65122:                 "isabelle.antiquoted_dark_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" },
wenzelm@65122:                 "isabelle.writeln_light_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
wenzelm@65122:                 "isabelle.writeln_dark_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
wenzelm@65122:                 "isabelle.information_light_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
wenzelm@65134:                 "isabelle.information_dark_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
wenzelm@65134:                 "isabelle.warning_light_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
wenzelm@65142:                 "isabelle.warning_dark_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
wenzelm@65142:                 "isabelle.spell_checker_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.0)" },
wenzelm@65146:                 "isabelle.spell_checker_dark_color": { "type": "string", "default": "rgba(0, 0, 255, 1.0)" },
wenzelm@65146:                 "isabelle.keyword1_light_color": { "type": "string", "default": "rgba(0, 102, 153, 1.00)" },
wenzelm@65146:                 "isabelle.keyword1_dark_color": { "type": "string", "default": "rgba(0, 102, 153, 1.00)" },
wenzelm@65146:                 "isabelle.keyword2_light_color": { "type": "string", "default": "rgba(0, 153, 102, 1.00)" },
wenzelm@65146:                 "isabelle.keyword2_dark_color": { "type": "string", "default": "rgba(0, 153, 102, 1.00)" },
wenzelm@65146:                 "isabelle.keyword3_light_color": { "type": "string", "default": "rgba(0, 153, 255, 1.00)" },
wenzelm@65146:                 "isabelle.keyword3_dark_color": { "type": "string", "default": "rgba(0, 153, 255, 1.00)" },
wenzelm@65146:                 "isabelle.quasi_keyword_light_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
wenzelm@65146:                 "isabelle.quasi_keyword_dark_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
wenzelm@65146:                 "isabelle.improper_light_color": { "type": "string", "default": "rgba(255, 80, 80, 1.00)" },
wenzelm@65146:                 "isabelle.improper_dark_color": { "type": "string", "default": "rgba(255, 80, 80, 1.00)" },
wenzelm@65146:                 "isabelle.operator_light_color": { "type": "string", "default": "rgba(50, 50, 50, 1.00)" },
wenzelm@65146:                 "isabelle.operator_dark_color": { "type": "string", "default": "rgba(50, 50, 50, 1.00)" },
wenzelm@65146:                 "isabelle.tfree_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
wenzelm@65146:                 "isabelle.tfree_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
wenzelm@65146:                 "isabelle.tvar_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
wenzelm@65146:                 "isabelle.tvar_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
wenzelm@65146:                 "isabelle.free_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.00)" },
wenzelm@65146:                 "isabelle.free_dark_color": { "type": "string", "default": "rgba(0, 0, 255, 1.00)" },
wenzelm@65146:                 "isabelle.skolem_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
wenzelm@65146:                 "isabelle.skolem_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
wenzelm@65146:                 "isabelle.bound_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
wenzelm@65146:                 "isabelle.bound_dark_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
wenzelm@65146:                 "isabelle.var_light_color": { "type": "string", "default": "rgba(0, 0, 155, 1.00)" },
wenzelm@65146:                 "isabelle.var_dark_color": { "type": "string", "default": "rgba(0, 0, 155, 1.00)" },
wenzelm@65146:                 "isabelle.inner_numeral_light_color": { "type": "string", "default": "rgba(255, 0, 0, 1.00)" },
wenzelm@65146:                 "isabelle.inner_numeral_dark_color": { "type": "string", "default": "rgba(255, 0, 0, 1.00)" },
wenzelm@65146:                 "isabelle.inner_quoted_light_color": { "type": "string", "default": "rgba(255, 0, 204, 1.00)" },
wenzelm@65146:                 "isabelle.inner_quoted_dark_color": { "type": "string", "default": "rgba(255, 0, 204, 1.00)" },
wenzelm@65146:                 "isabelle.inner_cartouche_light_color": { "type": "string", "default": "rgba(204, 102, 0, 1.00)" },
wenzelm@65146:                 "isabelle.inner_cartouche_dark_color": { "type": "string", "default": "rgba(204, 102, 0, 1.00)" },
wenzelm@65146:                 "isabelle.inner_comment_light_color": { "type": "string", "default": "rgba(204, 0, 0, 1.00)" },
wenzelm@65146:                 "isabelle.inner_comment_dark_color": { "type": "string", "default": "rgba(204, 0, 0, 1.00)" },
wenzelm@65146:                 "isabelle.dynamic_light_color": { "type": "string", "default": "rgba(123, 164, 40, 1.00)" },
wenzelm@65146:                 "isabelle.dynamic_dark_color": { "type": "string", "default": "rgba(123, 164, 40, 1.00)" },
wenzelm@65146:                 "isabelle.class_parameter_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
wenzelm@65146:                 "isabelle.class_parameter_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
wenzelm@65146:                 "isabelle.antiquote_light_color": { "type": "string", "default": "rgba(102, 0, 204, 1.00)" },
wenzelm@65146:                 "isabelle.antiquote_dark_color": { "type": "string", "default": "rgba(102, 0, 204, 1.00)" }
wenzelm@64605:             }
wenzelm@64605:         }
wenzelm@64605:     },
wenzelm@64605:     "scripts": {
wenzelm@64605:         "vscode:prepublish": "tsc -p ./",
wenzelm@64605:         "compile": "tsc -watch -p ./",
wenzelm@64605:         "postinstall": "node ./node_modules/vscode/bin/install"
wenzelm@64605:     },
wenzelm@64605:     "devDependencies": {
wenzelm@65163:         "typescript": "2.2.x",
wenzelm@65163:         "vscode": "1.x",
wenzelm@65163:         "mocha": "3.x",
wenzelm@64605:         "@types/node": "^6.0.40",
wenzelm@64605:         "@types/mocha": "^2.2.32"
wenzelm@64605:     },
wenzelm@64605:     "dependencies": {
wenzelm@64605:         "vscode-languageclient": "^2.6.3"
wenzelm@64605:     }
wenzelm@64605: }