more file types;
authorwenzelm
Wed Jan 04 21:26:56 2017 +0100 (2017-01-04)
changeset 6478099e8f7d4936f
parent 64779 6cdcc271dbd5
child 64781 31b5a28cadbc
more file types;
src/Tools/VSCode/extension/package.json
     1.1 --- a/src/Tools/VSCode/extension/package.json	Wed Jan 04 21:20:37 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Wed Jan 04 21:26:56 2017 +0100
     1.3 @@ -32,7 +32,7 @@
     1.4              {
     1.5                  "id": "isabelle-ml",
     1.6                  "aliases": ["Isabelle/ML"],
     1.7 -                "extensions": [".ML"],
     1.8 +                "extensions": [".ML", ".sml", ".sig"],
     1.9                  "configuration": "./isabelle-ml-language.json"
    1.10              }
    1.11