# HG changeset patch
# User wenzelm
# Date 1488534684 -3600
# Node ID f7aaf4ce55a9eff399d04e3019eb397fa3941ae9
# Parent  fc8bb68a74399ea7b5e285bb54d30eaddb6d6724
clarified LICENSE;

diff -r fc8bb68a7439 -r f7aaf4ce55a9 src/Tools/VSCode/LICENSE
--- /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
diff -r fc8bb68a7439 -r f7aaf4ce55a9 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"],