Cross Reference: plain_identify
xref
: /
seL4-l4v-master
/
isabelle
/
Admin
/
cronjob
/
plain_identify
Home
History
Annotate
Raw
Download
only in
/seL4-l4v-master/isabelle/Admin/cronjob/
History log of
/seL4-l4v-master/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;