src/Tools/VSCode/extension/package.json
changeset 64738 bcdecd466cb2
parent 64736 07bf45283b92
child 64743 ebaf9d01a964
equal deleted inserted replaced
64737:9fc965612459 64738:bcdecd466cb2
    27                 "aliases": ["Isabelle"],
    27                 "aliases": ["Isabelle"],
    28                 "extensions": [".thy"],
    28                 "extensions": [".thy"],
    29                 "configuration": "./isabelle-language.json"
    29                 "configuration": "./isabelle-language.json"
    30             }
    30             }
    31         ],
    31         ],
       
    32         "grammars": [{
       
    33                 "language": "isabelle",
       
    34                 "scopeName": "source.isabelle",
       
    35                 "path": "./isabelle-grammar.json"
       
    36         }],
    32         "configuration": {
    37         "configuration": {
    33             "title": "Isabelle",
    38             "title": "Isabelle",
    34             "properties": {
    39             "properties": {
    35                 "isabelle.home": {
    40                 "isabelle.home": {
    36                     "type": "string",
    41                     "type": "string",