# HG changeset patch
# User wenzelm
# Date 1483630811 -3600
# Node ID b2b05fdff3a7d3f2bee4c2d619cef6cc91e3f8f3
# Parent  27328dcaf64c5a8163eb1ae0686f34af96e5fe86
proper name for recursive grammar;
pro-forma update of fileTypes;

diff -r 27328dcaf64c -r b2b05fdff3a7 src/Tools/VSCode/extension/isabelle-ml-grammar.json
--- a/src/Tools/VSCode/extension/isabelle-ml-grammar.json	Thu Jan 05 16:23:51 2017 +0100
+++ b/src/Tools/VSCode/extension/isabelle-ml-grammar.json	Thu Jan 05 16:40:11 2017 +0100
@@ -1,7 +1,7 @@
 {
   "name": "Isabelle/ML",
   "scopeName": "source.isabelle-ml",
-  "fileTypes": ["ML"],
+  "fileTypes": ["ML", "sml", "sig"],
   "uuid": "aa32eb5e-d0d9-11e6-b7a4-37ba001f1e6e",
   "keyEquivalent": "^~M",
   "repository": {
@@ -190,7 +190,7 @@
       "begin": "\\b(fun|and)\\s+([\\w]+)\\b",
       "patterns": [
         {
-          "include": "source.ml"
+          "include": "source.isabelle-ml"
         }
       ],
       "captures": {