src/Tools/VSCode/LICENSE
author haftmann
Sun May 24 19:57:13 2020 +0000 (6 weeks ago)
changeset 71886 4f4695757980
parent 65091 f7aaf4ce55a9
permissions -rw-r--r--
better closeup and more consistent terminology
     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