Changes

Summary

more robust: support other_isabelle.init_settings for build_history before b93404a4c3dd;

Changeset 73185:b310b93563f6 by wenzelm: more robust: support other_isabelle.init_settings for build_history before b93404a4c3dd;
The file was modified	`src/Pure/Admin/isabelle_cronjob.scala` (diff)