src/Tools/VSCode/LICENSE
author wenzelm
Mon, 22 May 2017 00:23:25 +0200
changeset 65897 94b0da1b242e
parent 65091 f7aaf4ce55a9
permissions -rw-r--r--
back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
65091
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents:
diff changeset
     1
Isabelle/VSCode is subject to dual-licensing:
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents:
diff changeset
     2
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents:
diff changeset
     3
  * BSD-3-Clause inherited by the overall Isabelle source license
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents:
diff changeset
     4
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents:
diff changeset
     5
  * MIT license for the src/extension part that is also published on
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents:
diff changeset
     6
    the VSCode marketplace
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents:
diff changeset
     7
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents:
diff changeset
     8
MIT is slightly more liberal than BSD-3-Clause. This exception allows to
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents:
diff changeset
     9
adopt the standard license scheme of the Node.js / VSCode universe for the
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents:
diff changeset
    10
Isabelle/VScode extension module.
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents:
diff changeset
    11
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents:
diff changeset
    12
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents:
diff changeset
    13
    Makarius
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents:
diff changeset
    14
    03-Mar-2017