src/Tools/VSCode/extension/package.json
changeset 64736 07bf45283b92
parent 64735 4ad6d21545bd
child 64738 bcdecd466cb2
equal deleted inserted replaced
64735:4ad6d21545bd 64736:07bf45283b92
    24         "languages": [
    24         "languages": [
    25             {
    25             {
    26                 "id": "isabelle",
    26                 "id": "isabelle",
    27                 "aliases": ["Isabelle"],
    27                 "aliases": ["Isabelle"],
    28                 "extensions": [".thy"],
    28                 "extensions": [".thy"],
    29                 "configuration": "./language-configuration.json"
    29                 "configuration": "./isabelle-language.json"
    30             }
    30             }
    31         ],
    31         ],
    32         "configuration": {
    32         "configuration": {
    33             "title": "Isabelle",
    33             "title": "Isabelle",
    34             "properties": {
    34             "properties": {