# HG changeset patch
# User wenzelm
# Date 1646249866 -3600
# Node ID f2b93941ee43d5ebdee1751bf6dcbc4641ab1e39
# Parent  bafa8e6431bcea50dccff578bb125a06dc65b82c
follow standard Isabelle license --- no longer published on market place;

diff -r bafa8e6431bc -r f2b93941ee43 src/Tools/VSCode/LICENSE
--- a/src/Tools/VSCode/LICENSE	Wed Mar 02 20:35:32 2022 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,14 +0,0 @@
-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