| changeset 75188 | f2b93941ee43 |
| parent 75187 | bafa8e6431bc |
| child 75189 | f304a2a5080f |
| 75187:bafa8e6431bc | 75188:f2b93941ee43 |
|---|---|
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 |