author | wenzelm |
Tue, 05 Nov 2019 14:28:00 +0100 | |
changeset 71047 | 87c132cf5860 |
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