src/Pure/Tools/build.scala
changeset 73364 6bf6160a2c54
parent 73359 d8a0e996614b
child 73365 a78b5ffc0f46
equal deleted inserted replaced
73363:5e312d6bb883 73364:6bf6160a2c54
     6 */
     6 */
     7 
     7 
     8 package isabelle
     8 package isabelle
     9 
     9 
    10 
    10 
    11 import scala.collection.SortedSet
    11 import scala.collection.immutable.SortedSet
    12 import scala.annotation.tailrec
    12 import scala.annotation.tailrec
    13 
    13 
    14 
    14 
    15 object Build
    15 object Build
    16 {
    16 {