src/Pure/Tools/build.scala
changeset 67835 c8e4ee2b5482
parent 67782 7e223a05e6d8
child 67846 bdf6933f7ac9
     1.1 --- a/src/Pure/Tools/build.scala	Mon Mar 12 11:00:52 2018 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Mon Mar 12 11:17:59 2018 +0100
     1.3 @@ -8,12 +8,7 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 -import java.io.{BufferedInputStream, FileInputStream,
     1.8 -  BufferedReader, InputStreamReader, IOException}
     1.9 -import java.util.zip.GZIPInputStream
    1.10 -
    1.11  import scala.collection.SortedSet
    1.12 -import scala.collection.mutable
    1.13  import scala.annotation.tailrec
    1.14  
    1.15