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

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/VSCode/extension/src/extension.ts	Mon Dec 19 20:27:49 2016 +0100
@@ -0,0 +1,32 @@
+'use strict';
+
+import * as vscode from 'vscode';
+import * as path from 'path';
+
+import { LanguageClient, LanguageClientOptions, SettingMonitor, ServerOptions, TransportKind }
+  from 'vscode-languageclient';
+
+
+export function activate(context: vscode.ExtensionContext)
+{
+  let isabelle_home = vscode.workspace.getConfiguration("isabelle").get("home");
+
+  let run = {
+    command: path.join(isabelle_home, "bin", "isabelle"),
+    args: ["vscode_server"]
+  };
+  let server_options: ServerOptions =
+  {
+    run: run,
+    debug: {
+      command: run.command,
+      args: run.args.concat(["-L", path.join(context.extensionPath, "protocol.log")]) }
+  };
+  let client_options: LanguageClientOptions = { documentSelector: "isabelle" };
+
+  let disposable =
+    new LanguageClient("Isabelle Language Service", server_options, client_options, false).start();
+  context.subscriptions.push(disposable);
+}
+
+export function deactivate() { }