--- a/src/Pure/Admin/isabelle_cronjob.scala Fri Oct 13 21:20:31 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala Fri Oct 13 21:53:22 2017 +0200
@@ -77,7 +77,7 @@
def recent_items(db: SQL.Database, days: Int, rev: String, sql: SQL.Source): List[Item] =
{
val select =
- Build_Log.Data.select_recent_isabelle_versions(days = days, rev = rev, sql = "WHERE " + sql)
+ Build_Log.Data.select_recent_versions(days = days, rev = rev, sql = "WHERE " + sql)
db.using_statement(select)(stmt =>
stmt.execute_query().iterator(res =>