added documentation for new VSCode modules;

--- 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,