diff -r 99b83e701c8e -r 57de0062dc1c src/Tools/VSCode/extension/src/extension.ts
--- 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'