tuned;

--- 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": [ "(*", "*)" ]
+    }
 }