# HG changeset patch
# User wenzelm
# Date 1590308884 -7200
# Node ID 9d31fe4ecaea637a7197104d2f827b8d1bd545b7
# Parent  a7b81dd9954effc98050aba63fe87419f9528c73
unused;

diff -r a7b81dd9954e -r 9d31fe4ecaea src/Pure/System/scala.scala
--- a/src/Pure/System/scala.scala	Sat May 23 22:09:55 2020 +0200
+++ b/src/Pure/System/scala.scala	Sun May 24 10:28:04 2020 +0200
@@ -7,10 +7,8 @@
 package isabelle
 
 
-import java.lang.reflect.{Modifier, InvocationTargetException}
 import java.io.{File => JFile, StringWriter, PrintWriter}
 
-import scala.util.matching.Regex
 import scala.tools.nsc.{GenericRunnerSettings, ConsoleWriter, NewLinePrintWriter}
 import scala.tools.nsc.interpreter.IMain