# HG changeset patch
# User wenzelm
# Date 1587488831 -7200
# Node ID 491f185fd705e4424a19700f4f6de61e1e92ec6e
# Parent  7c2f4dd48fb6f57291412b6469819224e7263fe9
clarified imports;

diff -r 7c2f4dd48fb6 -r 491f185fd705 src/Tools/VSCode/src/channel.scala
--- a/src/Tools/VSCode/src/channel.scala	Mon Apr 20 08:58:09 2020 +0200
+++ b/src/Tools/VSCode/src/channel.scala	Tue Apr 21 19:07:11 2020 +0200
@@ -8,7 +8,6 @@
 
 
 import isabelle._
-import isabelle.vscode.Protocol
 
 import java.io.{InputStream, OutputStream, FileOutputStream, ByteArrayOutputStream, File => JFile}
 
diff -r 7c2f4dd48fb6 -r 491f185fd705 src/Tools/VSCode/src/document_model.scala
--- a/src/Tools/VSCode/src/document_model.scala	Mon Apr 20 08:58:09 2020 +0200
+++ b/src/Tools/VSCode/src/document_model.scala	Tue Apr 21 19:07:11 2020 +0200
@@ -8,7 +8,6 @@
 
 
 import isabelle._
-import isabelle.vscode.{Protocol, Server}
 
 import java.io.{File => JFile}
 
diff -r 7c2f4dd48fb6 -r 491f185fd705 src/Tools/VSCode/src/dynamic_output.scala
--- a/src/Tools/VSCode/src/dynamic_output.scala	Mon Apr 20 08:58:09 2020 +0200
+++ b/src/Tools/VSCode/src/dynamic_output.scala	Tue Apr 21 19:07:11 2020 +0200
@@ -8,7 +8,6 @@
 
 
 import isabelle._
-import isabelle.vscode.{Protocol, Server}
 
 
 object Dynamic_Output
diff -r 7c2f4dd48fb6 -r 491f185fd705 src/Tools/VSCode/src/preview_panel.scala
--- a/src/Tools/VSCode/src/preview_panel.scala	Mon Apr 20 08:58:09 2020 +0200
+++ b/src/Tools/VSCode/src/preview_panel.scala	Tue Apr 21 19:07:11 2020 +0200
@@ -8,7 +8,6 @@
 
 
 import isabelle._
-import isabelle.vscode.Protocol
 
 import java.io.{File => JFile}
 
diff -r 7c2f4dd48fb6 -r 491f185fd705 src/Tools/VSCode/src/protocol.scala
--- a/src/Tools/VSCode/src/protocol.scala	Mon Apr 20 08:58:09 2020 +0200
+++ b/src/Tools/VSCode/src/protocol.scala	Tue Apr 21 19:07:11 2020 +0200
@@ -9,7 +9,6 @@
 
 
 import isabelle._
-import isabelle.vscode.Server
 
 import java.io.{File => JFile}
 
diff -r 7c2f4dd48fb6 -r 491f185fd705 src/Tools/VSCode/src/server.scala
--- a/src/Tools/VSCode/src/server.scala	Mon Apr 20 08:58:09 2020 +0200
+++ b/src/Tools/VSCode/src/server.scala	Tue Apr 21 19:07:11 2020 +0200
@@ -12,7 +12,6 @@
 
 
 import isabelle._
-import isabelle.vscode.{Protocol, Server}
 
 import java.io.{PrintStream, OutputStream, File => JFile}
 
diff -r 7c2f4dd48fb6 -r 491f185fd705 src/Tools/VSCode/src/state_panel.scala
--- a/src/Tools/VSCode/src/state_panel.scala	Mon Apr 20 08:58:09 2020 +0200
+++ b/src/Tools/VSCode/src/state_panel.scala	Tue Apr 21 19:07:11 2020 +0200
@@ -8,7 +8,6 @@
 
 
 import isabelle._
-import isabelle.vscode.{Protocol, Server}
 
 
 object State_Panel
diff -r 7c2f4dd48fb6 -r 491f185fd705 src/Tools/VSCode/src/vscode_rendering.scala
--- a/src/Tools/VSCode/src/vscode_rendering.scala	Mon Apr 20 08:58:09 2020 +0200
+++ b/src/Tools/VSCode/src/vscode_rendering.scala	Tue Apr 21 19:07:11 2020 +0200
@@ -9,7 +9,6 @@
 
 
 import isabelle._
-import isabelle.vscode.Protocol
 
 import java.io.{File => JFile}
 
diff -r 7c2f4dd48fb6 -r 491f185fd705 src/Tools/VSCode/src/vscode_resources.scala
--- a/src/Tools/VSCode/src/vscode_resources.scala	Mon Apr 20 08:58:09 2020 +0200
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Tue Apr 21 19:07:11 2020 +0200
@@ -8,7 +8,6 @@
 
 
 import isabelle._
-import isabelle.vscode.{Protocol, Server}
 
 import java.io.{File => JFile}
 
diff -r 7c2f4dd48fb6 -r 491f185fd705 src/Tools/VSCode/src/vscode_spell_checker.scala
--- a/src/Tools/VSCode/src/vscode_spell_checker.scala	Mon Apr 20 08:58:09 2020 +0200
+++ b/src/Tools/VSCode/src/vscode_spell_checker.scala	Tue Apr 21 19:07:11 2020 +0200
@@ -8,7 +8,6 @@
 
 
 import isabelle._
-import isabelle.vscode.Protocol
 
 
 object VSCode_Spell_Checker