--- a/src/Tools/VSCode/extension/src/abbreviations.ts Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/abbreviations.ts Wed Mar 02 15:57:04 2022 +0100
@@ -1,3 +1,8 @@
+/* Author: Denis Paluca, TU Muenchen
+
+Input abbreviation and autocompletion of Isabelle symbols.
+*/
+
'use strict';
import { ExtensionContext, Range, TextDocumentContentChangeEvent, workspace, WorkspaceEdit } from 'vscode'
--- a/src/Tools/VSCode/extension/src/isabelle_filesystem/isabelle_workspace.ts Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_filesystem/isabelle_workspace.ts Wed Mar 02 15:57:04 2022 +0100
@@ -1,3 +1,8 @@
+/* Author: Denis Paluca and Fabian Huch, TU Muenchen
+
+Handling of theory files in VSCode workspace.
+*/
+
'use strict';
import * as path from 'path';
--- a/src/Tools/VSCode/extension/src/isabelle_filesystem/mapping_fsp.ts Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_filesystem/mapping_fsp.ts Wed Mar 02 15:57:04 2022 +0100
@@ -1,3 +1,8 @@
+/* Author: Denis Paluca and Fabian Huch, TU Muenchen
+
+Memory-mapped virtual filesystem with symbol encoding.
+*/
+
'use strict';
import * as path from 'path';
--- a/src/Tools/VSCode/extension/src/isabelle_filesystem/prefix_tree.ts Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_filesystem/prefix_tree.ts Wed Mar 02 15:57:04 2022 +0100
@@ -1,3 +1,8 @@
+/* Author: Denis Paluca, TU Muenchen
+
+Prefix tree for symbol autocompletion.
+*/
+
'use strict';
class Tree_Node
--- a/src/Tools/VSCode/extension/src/isabelle_filesystem/symbol_encoder.ts Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_filesystem/symbol_encoder.ts Wed Mar 02 15:57:04 2022 +0100
@@ -1,3 +1,8 @@
+/* Author: Denis Paluca, TU Muenchen
+
+Encoding of Isabelle symbols.
+*/
+
'use strict';
import { TextEncoder } from 'util'
--- a/src/Tools/VSCode/extension/src/isabelle_filesystem/uri_map.ts Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_filesystem/uri_map.ts Wed Mar 02 15:57:04 2022 +0100
@@ -1,3 +1,8 @@
+/* Author: Fabian Huch, TU Muenchen
+
+Bidirectional mapping between uris.
+*/
+
'use strict';
import {Uri} from 'vscode';
--- a/src/Tools/VSCode/extension/src/isabelle_filesystem/workspace_state.ts Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_filesystem/workspace_state.ts Wed Mar 02 15:57:04 2022 +0100
@@ -1,3 +1,8 @@
+/* Author: Denis Paluca and Fabian Huch, TU Muenchen
+
+Persistent workspace state.
+*/
+
'use strict';
import { ExtensionContext } from 'vscode'
--- a/src/Tools/VSCode/extension/src/output_view.ts Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/output_view.ts Wed Mar 02 15:57:04 2022 +0100
@@ -1,3 +1,8 @@
+/* Author: Denis Paluca, TU Muenchen
+
+Isabelle output panel as web view.
+*/
+
'use strict';
import { WebviewViewProvider, WebviewView, Uri, WebviewViewResolveContext,
--- a/src/Tools/VSCode/extension/src/script_decorations.ts Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/script_decorations.ts Wed Mar 02 15:57:04 2022 +0100
@@ -1,3 +1,8 @@
+/* Author: Denis Paluca, TU Muenchen
+
+Non-unicode Isabelle symbols as text decorations.
+*/
+
'use strict';
import { DecorationRangeBehavior, ExtensionContext, Range,