Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/isabelle_cronjob.scala
changeset 64173 85ff21510ba9
parent 64172 e7863057df41
child 64184 68e95e5b2b7d 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 12 21:50:16 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 12 21:53:30 2016 +0200
@@ -114,7 +114,7 @@
         val log_path = log_dir + Build_Log.log_path("isabelle_identify", logger.start_date)
         Isabelle_System.mkdirs(log_path.dir)
         File.write(log_path,
-          Library.terminate_lines(
+          terminate_lines(
             List("isabelle_identify: " + Build_Log.print_date(logger.start_date),
               "",
               "Isabelle version: " + isabelle_id,
isabelle