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

--- a/src/Tools/VSCode/extension/src/extension.ts	Fri Jun 09 16:59:14 2017 +0200
+++ b/src/Tools/VSCode/extension/src/extension.ts	Fri Jun 09 17:13:50 2017 +0200
@@ -6,6 +6,7 @@
 import * as decorations from './decorations';
 import * as preview from './preview';
 import * as protocol from './protocol';
+import * as symbol from './symbol';
 import { ExtensionContext, workspace, window, commands } from 'vscode';
 import { LanguageClient, LanguageClientOptions, SettingMonitor, ServerOptions, TransportKind, NotificationType }
   from 'vscode-languageclient';
@@ -110,6 +111,16 @@
     language_client.onReady().then(() => preview.init(context, language_client))
 
 
+    /* Isabelle symbols */
+
+    language_client.onReady().then(() =>
+    {
+      language_client.onNotification(protocol.symbols_type,
+        params => symbol.update(params.entries))
+      language_client.sendNotification(protocol.symbols_request_type)
+    })
+
+
     /* start server */
 
     context.subscriptions.push(language_client.start())