# HG changeset patch
# User wenzelm
# Date 1483364278 -3600
# Node ID f0057930d4c44943fb25109a6da1a2b417238dc4
# Parent  1f855e03455fcb66dd059f1e8d2f692f059a43f4
tuned;

diff -r 1f855e03455f -r f0057930d4c4 src/Tools/VSCode/extension/isabelle-language.json
--- 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": [ "(*", "*)" ]
+    }
 }