src/Tools/VSCode/LICENSE
author wenzelm
Mon Mar 25 17:21:26 2019 +0100 (3 weeks ago)
changeset 69981 3dced198b9ec
parent 65091 f7aaf4ce55a9
permissions -rw-r--r--
more strict AFP properties;
wenzelm@65091
     1
Isabelle/VSCode is subject to dual-licensing:
wenzelm@65091
     2
wenzelm@65091
     3
  * BSD-3-Clause inherited by the overall Isabelle source license
wenzelm@65091
     4
wenzelm@65091
     5
  * MIT license for the src/extension part that is also published on
wenzelm@65091
     6
    the VSCode marketplace
wenzelm@65091
     7
wenzelm@65091
     8
MIT is slightly more liberal than BSD-3-Clause. This exception allows to
wenzelm@65091
     9
adopt the standard license scheme of the Node.js / VSCode universe for the
wenzelm@65091
    10
Isabelle/VScode extension module.
wenzelm@65091
    11
wenzelm@65091
    12
wenzelm@65091
    13
    Makarius
wenzelm@65091
    14
    03-Mar-2017