--- a/src/Tools/VSCode/src/document_model.scala Sat Jun 01 21:43:03 2019 +0200
+++ b/src/Tools/VSCode/src/document_model.scala Sat Jun 01 21:43:41 2019 +0200
@@ -8,6 +8,7 @@
import isabelle._
+import isabelle.vscode.{Protocol, Server}
import java.io.{File => JFile}