author | wenzelm |
Mon, 22 May 2017 00:23:25 +0200 | |
changeset 65897 | 94b0da1b242e |
parent 65091 | f7aaf4ce55a9 |
permissions | -rw-r--r-- |
65091 | 1 |
Isabelle/VSCode is subject to dual-licensing: |
2 |
||
3 |
* BSD-3-Clause inherited by the overall Isabelle source license |
|
4 |
||
5 |
* MIT license for the src/extension part that is also published on |
|
6 |
the VSCode marketplace |
|
7 |
||
8 |
MIT is slightly more liberal than BSD-3-Clause. This exception allows to |
|
9 |
adopt the standard license scheme of the Node.js / VSCode universe for the |
|
10 |
Isabelle/VScode extension module. |
|
11 |
||
12 |
||
13 |
Makarius |
|
14 |
03-Mar-2017 |