src/Tools/VSCode/extension/package.json

--- a/src/Tools/VSCode/extension/package.json	Thu Mar 02 17:08:18 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Mar 03 10:51:24 2017 +0100
@@ -12,7 +12,7 @@
     "icon": "isabelle.png",
     "version": "0.6.0",
     "publisher": "makarius",
-    "license": "BSD-3-Clause",
+    "license": "MIT",
     "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
     "engines": { "vscode": "^1.8.0" },
     "categories": ["Languages"],