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

[Makarius]

Just for the record: the recent change of timing in
http://isabelle.in.tum.de/devel/build_status/AFP/index.html#session_Native_Word
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
description:
more external tools for AFP test;


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


	Makarius