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

--- a/src/Tools/VSCode/extension/src/library.ts	Tue May 30 14:43:42 2017 +0200
+++ b/src/Tools/VSCode/extension/src/library.ts	Tue May 30 15:29:42 2017 +0200
@@ -1,7 +1,7 @@
 'use strict';
 
 import * as os from 'os';
-import { ViewColumn, TextEditor, workspace } from 'vscode'
+import { ViewColumn, TextEditor, Uri, workspace } from 'vscode'
 
 
 /* platform information */
@@ -12,6 +12,14 @@
 }
 
 
+/* file URIs */
+
+export function is_file(uri: Uri): boolean
+{
+  return uri.scheme === "file"
+}
+
+
 /* Isabelle configuration */
 
 export function get_configuration<T>(name: string): T