|
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
¤ Dauer der Verarbeitung: 0.4 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
