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

--- a/src/Tools/VSCode/extension/src/library.ts	Tue May 30 11:54:53 2017 +0200
+++ b/src/Tools/VSCode/extension/src/library.ts	Tue May 30 14:21:42 2017 +0200
@@ -1,8 +1,17 @@
 'use strict';
 
+import * as os from 'os';
 import { ViewColumn, TextEditor, workspace } from 'vscode'
 
 
+/* platform information */
+
+export function platform_is_windows(): boolean
+{
+  return os.type().startsWith("Windows")
+}
+
+
 /* Isabelle configuration */
 
 export function get_configuration<T>(name: string): T