src/Pure/System/isabelle_system.scala
changeset 48550 97592027a2a8
parent 48548 49afe0e92163
child 48923 a2df77fcf1eb
     1.1 --- a/src/Pure/System/isabelle_system.scala	Fri Jul 27 14:15:04 2012 +0200
     1.2 +++ b/src/Pure/System/isabelle_system.scala	Fri Jul 27 14:22:32 2012 +0200
     1.3 @@ -124,19 +124,6 @@
     1.4    def posix_path(jvm_path: String): String = standard_system.posix_path(jvm_path)
     1.5  
     1.6  
     1.7 -  /* try_read */
     1.8 -
     1.9 -  def try_read(paths: Seq[Path]): String =
    1.10 -  {
    1.11 -    val buf = new StringBuilder
    1.12 -    for (path <- paths if path.is_file) {
    1.13 -      buf.append(File.read(path))
    1.14 -      buf.append('\n')
    1.15 -    }
    1.16 -    buf.toString
    1.17 -  }
    1.18 -
    1.19 -
    1.20    /* source files */
    1.21  
    1.22    private def try_file(file: JFile) = if (file.isFile) Some(file) else None