Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified imports;
authorwenzelm
Tue, 21 Apr 2020 19:07:11 +0200
changeset 71774 491f185fd705
parent 71773 7c2f4dd48fb6
child 71775 291c46bf3000
clarified imports;
src/Tools/VSCode/src/channel.scala file | annotate | diff | comparison | revisions
src/Tools/VSCode/src/document_model.scala file | annotate | diff | comparison | revisions
src/Tools/VSCode/src/dynamic_output.scala file | annotate | diff | comparison | revisions
src/Tools/VSCode/src/preview_panel.scala file | annotate | diff | comparison | revisions
src/Tools/VSCode/src/protocol.scala file | annotate | diff | comparison | revisions
src/Tools/VSCode/src/server.scala file | annotate | diff | comparison | revisions
src/Tools/VSCode/src/state_panel.scala file | annotate | diff | comparison | revisions
src/Tools/VSCode/src/vscode_rendering.scala file | annotate | diff | comparison | revisions
src/Tools/VSCode/src/vscode_resources.scala file | annotate | diff | comparison | revisions
src/Tools/VSCode/src/vscode_spell_checker.scala file | annotate | diff | comparison | revisions 
--- 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}
 
--- 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}
 
--- 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
--- 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}
 
--- 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}
 
--- 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}
 
--- 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
--- 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}
 
--- 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}
 
--- 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
isabelle