src/Tools/VSCode/extension/src/extension.ts

 import * as fs from 'fs';
 import * as library from './library'
 import * as decorations from './decorations';
 import * as preview from './preview';
 import * as protocol from './protocol';
+import * as state from './state';
 import * as symbol from './symbol';
 import * as completion from './completion';
 import { ExtensionContext, workspace, window, commands, languages } from 'vscode';
 import { LanguageClient, LanguageClientOptions, SettingMonitor, ServerOptions, TransportKind, NotificationType }
   from 'vscode-languageclient';

       language_client.onNotification(protocol.dynamic_output_type,
         params => { dynamic_output.clear(); dynamic_output.appendLine(params.content) })
     })
 
 
+    /* state */
+
+    context.subscriptions.push(
+      commands.registerCommand("isabelle.state", uri => state.init(uri)),
+      commands.registerCommand("_isabelle.state-locate", state.locate),
+      commands.registerCommand("_isabelle.state-update", state.update))
+
+    language_client.onReady().then(() => state.setup(context, language_client))
+
+
     /* preview */
 
     context.subscriptions.push(
       commands.registerCommand("isabelle.preview", uri => preview.request(uri, false)),
       commands.registerCommand("isabelle.preview-split", uri => preview.request(uri, true)),