History log of /seL4-l4v-10.1.1/isabelle/Admin/cronjob/plain_identify
Revision Date Author Comments
# 22a0d104 02-Mar-2018 wenzelm <none@none>

prefer https;
# 2f3f709e 03-Nov-2017 wenzelm <none@none>

plain identify job for Isabelle + AFP, independent of any Isabelle technology;