Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorwenzelm
Wed, 02 Mar 2022 16:08:17 +0100
changeset 75183 b0efc5576118
parent 75179 549e4fb76724 (diff)
parent 75182 fae759dcf55f (current diff)
child 75184 a806c2dd3d1d
merged
src/Tools/VSCode/extension/src/abbreviations.ts file | annotate | diff | comparison | revisions
src/Tools/VSCode/extension/src/isabelle_filesystem/isabelle_workspace.ts file | annotate | diff | comparison | revisions
src/Tools/VSCode/extension/src/output_view.ts file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/src/abbreviations.ts	Wed Mar 02 16:08:12 2022 +0100
+++ b/src/Tools/VSCode/extension/src/abbreviations.ts	Wed Mar 02 16:08:17 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 16:08:12 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_filesystem/isabelle_workspace.ts	Wed Mar 02 16:08:17 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 16:08:12 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_filesystem/mapping_fsp.ts	Wed Mar 02 16:08:17 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 16:08:12 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_filesystem/prefix_tree.ts	Wed Mar 02 16:08:17 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 16:08:12 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_filesystem/symbol_encoder.ts	Wed Mar 02 16:08:17 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 16:08:12 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_filesystem/uri_map.ts	Wed Mar 02 16:08:17 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 16:08:12 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_filesystem/workspace_state.ts	Wed Mar 02 16:08:17 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 16:08:12 2022 +0100
+++ b/src/Tools/VSCode/extension/src/output_view.ts	Wed Mar 02 16:08:17 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 16:08:12 2022 +0100
+++ b/src/Tools/VSCode/extension/src/script_decorations.ts	Wed Mar 02 16:08:17 2022 +0100
@@ -1,3 +1,8 @@
+/*  Author:     Denis Paluca, TU Muenchen
+
+Non-unicode Isabelle symbols as text decorations.
+*/
+
 'use strict';
 
 import { DecorationRangeBehavior, ExtensionContext, Range,
isabelle