isabelle: src/Tools/VSCode/LICENSE@ac24aaf84a36 (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

author	Lars Hupel <lars.hupel@mytum.de>
	Wed, 22 May 2019 22:18:45 +0200
changeset 70277	ac24aaf84a36
parent 65091	f7aaf4ce55a9
permissions	-rw-r--r--