# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1646233024 -3600
# Node ID 549e4fb76724bac647db0bdc115581240eac614b
# Parent  01017b938135548c6b520e7f23db9434d4841f17
added documentation for new VSCode modules;

diff -r 01017b938135 -r 549e4fb76724 src/Tools/VSCode/extension/src/abbreviations.ts
--- 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'
diff -r 01017b938135 -r 549e4fb76724 src/Tools/VSCode/extension/src/isabelle_filesystem/isabelle_workspace.ts
--- 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';
diff -r 01017b938135 -r 549e4fb76724 src/Tools/VSCode/extension/src/isabelle_filesystem/mapping_fsp.ts
--- 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';
diff -r 01017b938135 -r 549e4fb76724 src/Tools/VSCode/extension/src/isabelle_filesystem/prefix_tree.ts
--- 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
diff -r 01017b938135 -r 549e4fb76724 src/Tools/VSCode/extension/src/isabelle_filesystem/symbol_encoder.ts
--- 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'
diff -r 01017b938135 -r 549e4fb76724 src/Tools/VSCode/extension/src/isabelle_filesystem/uri_map.ts
--- 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';
diff -r 01017b938135 -r 549e4fb76724 src/Tools/VSCode/extension/src/isabelle_filesystem/workspace_state.ts
--- 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'
diff -r 01017b938135 -r 549e4fb76724 src/Tools/VSCode/extension/src/output_view.ts
--- 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,
diff -r 01017b938135 -r 549e4fb76724 src/Tools/VSCode/extension/src/script_decorations.ts
--- 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,