src/Pure/General/file.scala

--- a/src/Pure/General/file.scala	Tue Dec 29 15:05:08 2015 +0100
+++ b/src/Pure/General/file.scala	Tue Dec 29 16:23:34 2015 +0100
@@ -164,19 +164,6 @@
   }
 
 
-  /* try_read */
-
-  def try_read(paths: Seq[Path]): String =
-  {
-    val buf = new StringBuilder
-    for (path <- paths if path.is_file) {
-      buf.append(read(path))
-      buf.append('\n')
-    }
-    buf.toString
-  }
-
-
   /* write */
 
   def write_file(file: JFile, text: Iterable[CharSequence],