isabelle: src/Tools/VSCode/LICENSE@abf3e80bd815 (annotated)

65091 f7aaf4ce55a9 clarified LICENSE; wenzelm parents: diff changeset	1	Isabelle/VSCode is subject to dual-licensing:
f7aaf4ce55a9 clarified LICENSE; wenzelm parents: diff changeset	2
f7aaf4ce55a9 clarified LICENSE; wenzelm parents: diff changeset	3	* BSD-3-Clause inherited by the overall Isabelle source license
f7aaf4ce55a9 clarified LICENSE; wenzelm parents: diff changeset	4
f7aaf4ce55a9 clarified LICENSE; wenzelm parents: diff changeset	5	* MIT license for the src/extension part that is also published on
f7aaf4ce55a9 clarified LICENSE; wenzelm parents: diff changeset	6	the VSCode marketplace
f7aaf4ce55a9 clarified LICENSE; wenzelm parents: diff changeset	7
f7aaf4ce55a9 clarified LICENSE; wenzelm parents: diff changeset	8	MIT is slightly more liberal than BSD-3-Clause. This exception allows to
f7aaf4ce55a9 clarified LICENSE; wenzelm parents: diff changeset	9	adopt the standard license scheme of the Node.js / VSCode universe for the
f7aaf4ce55a9 clarified LICENSE; wenzelm parents: diff changeset	10	Isabelle/VScode extension module.
f7aaf4ce55a9 clarified LICENSE; wenzelm parents: diff changeset	11
f7aaf4ce55a9 clarified LICENSE; wenzelm parents: diff changeset	12
f7aaf4ce55a9 clarified LICENSE; wenzelm parents: diff changeset	13	Makarius
f7aaf4ce55a9 clarified LICENSE; wenzelm parents: diff changeset	14	03-Mar-2017