src/Tools/VSCode/LICENSE
author wenzelm
Mon Mar 25 17:21:26 2019 +0100 (3 months ago)
changeset 69981 3dced198b9ec
parent 65091 f7aaf4ce55a9
permissions -rw-r--r--
more strict AFP properties;
     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