src/Pure/Thy/sessions.scala
changeset 62636 e676ae9f1bf6
parent 62635 4854a38061de
child 62637 0189fe0f6452
--- a/src/Pure/Thy/sessions.scala	Wed Mar 16 13:47:00 2016 +0100
+++ b/src/Pure/Thy/sessions.scala	Wed Mar 16 14:24:51 2016 +0100
@@ -342,10 +342,9 @@
         output_dir :: Path.split(Isabelle_System.getenv_strict("ISABELLE_PATH")).map(_ + ml_ident)
       }
 
-    //optional heap + log_gz
-    def find(name: String): Option[(Path, Path)] =
+    def find(name: String): Option[(Path, Option[String])] =
       input_dirs.find(dir => (dir + log_gz(name)).is_file).map(dir =>
-        (dir + Path.basic(name), dir + log_gz(name)))
+        (dir + log_gz(name), File.time_stamp(dir + Path.basic(name))))
 
     def find_heap(name: String): Option[Path] =
       input_dirs.map(_ + Path.basic(name)).find(_.is_file)