1.1 --- a/src/Pure/System/standard_system.scala	Wed Jul 06 23:11:59 2011 +0200
     1.2 +++ b/src/Pure/System/standard_system.scala	Thu Jul 07 13:48:30 2011 +0200
     1.3 @@ -96,16 +96,6 @@
     1.4  
     1.5    def read_file(file: File): String = slurp(new FileInputStream(file))
     1.6  
     1.7 -  def try_read(files: Seq[File]): String =
     1.8 -  {
     1.9 -    val buf = new StringBuilder
    1.10 -    for {
    1.11 -      file <- files if file.isFile
    1.12 -      c <- (Source.fromFile(file) ++ Iterator.single('\n'))
    1.13 -    } buf.append(c)
    1.14 -    buf.toString
    1.15 -  }
    1.16 -
    1.17    def write_file(file: File, text: CharSequence)
    1.18    {
    1.19      val writer =