author | haftmann |
Sun, 24 May 2020 19:57:13 +0000 | |
changeset 71886 | 4f4695757980 |
parent 65091 | f7aaf4ce55a9 |
permissions | -rw-r--r-- |
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