# HG changeset patch
# User wenzelm
# Date 1656698318 -7200
# Node ID 3fad59705ab7257c8febdc87ad4ce924de6d6a19
# Parent  3c659dfa82f81b03da85a10be5fe892a52b91a90
obsolete;

diff -r 3c659dfa82f8 -r 3fad59705ab7 src/Pure/System/isabelle_tool.scala
--- a/src/Pure/System/isabelle_tool.scala	Fri Jul 01 19:57:06 2022 +0200
+++ b/src/Pure/System/isabelle_tool.scala	Fri Jul 01 19:58:38 2022 +0200
@@ -6,10 +6,6 @@
 
 package isabelle
 
-import java.net.URLClassLoader
-import scala.reflect.runtime.universe
-import scala.tools.reflect.{ToolBox, ToolBoxError}
-
 
 object Isabelle_Tool {
   /* external tools */