--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/VSCode/LICENSE Fri Mar 03 10:51:24 2017 +0100
@@ -0,0 +1,14 @@
+Isabelle/VSCode is subject to dual-licensing:
+
+ * BSD-3-Clause inherited by the overall Isabelle source license
+
+ * MIT license for the src/extension part that is also published on
+ the VSCode marketplace
+
+MIT is slightly more liberal than BSD-3-Clause. This exception allows to
+adopt the standard license scheme of the Node.js / VSCode universe for the
+Isabelle/VScode extension module.
+
+
+ Makarius
+ 03-Mar-2017
--- 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"],