[isabelle-dev] No performance problem with AFP/Native_Word

Makarius makarius at sketis.net
Sat Feb 10 17:29:19 CET 2018

Just for the record: the recent change of timing in
is due to a change of test parameters:

changeset:   67568:fc2b303070da
user:        wenzelm
date:        Sat Feb 03 14:32:12 2018 +0100
files:       src/Pure/Admin/isabelle_cronjob.scala
more external tools for AFP test;

I have made manual tests to confirm this: nothing to be seen here.


More information about the isabelle-dev mailing list