Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/isabelle-language.json
changeset 64751 f0057930d4c4
parent 64736 07bf45283b92
child 64764 452b4fb7927c 
--- a/src/Tools/VSCode/extension/isabelle-language.json	Mon Jan 02 14:25:46 2017 +0100
+++ b/src/Tools/VSCode/extension/isabelle-language.json	Mon Jan 02 14:37:58 2017 +0100
@@ -3,7 +3,6 @@
         ["(", ")"],
         ["[", "]"],
         ["{", "}"],
-        ["<", ">"],
         ["«", "»"],
         ["‹", "›"],
         ["⟨", "⟩"],
@@ -12,5 +11,8 @@
         ["⦇", "⦈"],
         ["⟦", "⟧"],
         ["⦃", "⦄"]
-    ]
+    ],
+    "comments": {
+        "blockComment": [ "(*", "*)" ]
+    }
 }
isabelle