changeset 75234 | 57de0062dc1c |
parent 75209 | 4187f6f18232 |
child 75240 | 83197a0ac6df |
--- a/src/Tools/VSCode/extension/src/extension.ts Sun Mar 06 22:13:18 2022 +0100 +++ b/src/Tools/VSCode/extension/src/extension.ts Mon Mar 07 12:37:03 2022 +0100 @@ -1,3 +1,10 @@ +/* Author: Makarius + Author: Denis Paluca, TU Muenchen + Author: Fabian Huch, TU Muenchen + +Isabelle/VSCode extension. +*/ + 'use strict'; import * as platform from './platform'