tuned imports;

--- a/src/Tools/VSCode/extension/src/completion.ts	Wed Mar 02 16:46:16 2022 +0100
+++ b/src/Tools/VSCode/extension/src/completion.ts	Wed Mar 02 16:48:42 2022 +0100
@@ -1,6 +1,5 @@
 'use strict';
 
-import * as symbol from './symbol'
 import { CompletionItemProvider, CompletionItem, TextDocument, Range, Position,
   CancellationToken, CompletionList } from 'vscode'
 

--- a/src/Tools/VSCode/extension/src/decorations.ts	Wed Mar 02 16:46:16 2022 +0100
+++ b/src/Tools/VSCode/extension/src/decorations.ts	Wed Mar 02 16:48:42 2022 +0100
@@ -5,7 +5,6 @@
 import { Range, DecorationOptions, DecorationRenderOptions,
   TextDocument, TextEditor, TextEditorDecorationType, ExtensionContext } from 'vscode'
 import { Document_Decorations } from './protocol'
-import * as library from './library'
 import * as vscode_lib from './vscode_lib'
 import { Isabelle_Workspace } from './isabelle_filesystem/isabelle_workspace'
 

--- a/src/Tools/VSCode/extension/src/extension.ts	Wed Mar 02 16:46:16 2022 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Wed Mar 02 16:48:42 2022 +0100
@@ -10,7 +10,6 @@
 import { Uri, TextEditor, ViewColumn, Selection, Position, ExtensionContext, workspace, window,
   commands, ProgressLocation } from 'vscode'
 import { LanguageClient, LanguageClientOptions, ServerOptions } from 'vscode-languageclient/node'
-import { register_abbreviations } from './abbreviations'
 import { Isabelle_Workspace } from './isabelle_filesystem/isabelle_workspace'
 import { Output_View_Provider } from './output_view'
 import { register_script_decorations } from './script_decorations'

--- a/src/Tools/VSCode/extension/src/isabelle_filesystem/isabelle_workspace.ts	Wed Mar 02 16:46:16 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_filesystem/isabelle_workspace.ts	Wed Mar 02 16:48:42 2022 +0100
@@ -8,13 +8,11 @@
 import * as path from 'path';
 import {
   commands,
-  Disposable, ExtensionContext, FileChangeType, FileSystemError, languages,
-  TextDocument,
+  ExtensionContext, FileSystemError, languages, TextDocument,
   Uri, ViewColumn,
   window,
   workspace
 } from 'vscode';
-import * as library from '../library';
 import * as vscode_lib from '../vscode_lib';
 import { Session_Theories } from '../protocol';
 import * as symbol from '../symbol';

--- a/src/Tools/VSCode/extension/src/isabelle_filesystem/mapping_fsp.ts	Wed Mar 02 16:46:16 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_filesystem/mapping_fsp.ts	Wed Mar 02 16:48:42 2022 +0100
@@ -16,7 +16,6 @@
   FileSystemProvider,
   FileType, GlobPattern, Uri, workspace
 } from 'vscode';
-import { Session_Theories } from '../protocol';
 import { Symbol_Encoder } from './symbol_encoder';
 import { Uri_Map } from './uri_map';
 

--- a/src/Tools/VSCode/extension/src/output_view.ts	Wed Mar 02 16:46:16 2022 +0100
+++ b/src/Tools/VSCode/extension/src/output_view.ts	Wed Mar 02 16:48:42 2022 +0100
@@ -8,7 +8,6 @@
 import { WebviewViewProvider, WebviewView, Uri, WebviewViewResolveContext,
    CancellationToken, window, Position, Selection, Webview} from 'vscode'
 import { text_colors } from './decorations'
-import * as library from './library'
 import * as vscode_lib from './vscode_lib'
 import * as path from 'path'
 import { Isabelle_Workspace } from './isabelle_filesystem/isabelle_workspace'

--- a/src/Tools/VSCode/extension/src/preview_panel.ts	Wed Mar 02 16:46:16 2022 +0100
+++ b/src/Tools/VSCode/extension/src/preview_panel.ts	Wed Mar 02 16:48:42 2022 +0100
@@ -2,7 +2,6 @@
 
 import { ExtensionContext, Uri, window, ViewColumn, WebviewPanel } from 'vscode'
 import { LanguageClient } from 'vscode-languageclient/node'
-import * as library from './library'
 import * as vscode_lib from './vscode_lib'
 import * as protocol from './protocol'
 

--- a/src/Tools/VSCode/extension/src/state_panel.ts	Wed Mar 02 16:46:16 2022 +0100
+++ b/src/Tools/VSCode/extension/src/state_panel.ts	Wed Mar 02 16:48:42 2022 +0100
@@ -1,6 +1,5 @@
 'use strict';
 
-import * as library from './library'
 import * as vscode_lib from './vscode_lib'
 import * as protocol from './protocol'
 import {LanguageClient} from 'vscode-languageclient/node'