[isabelle-dev] Isabelle takes more time to be built on testboard
hoelzl at in.tum.de
Mon May 13 16:54:06 CEST 2013
My changes Ondřej mentions are between
Where I were mostly moving stuff around in HOL. This should be only visible
in Complex_Main and not in Main. But the HOL-Proof and especially the
ZF images also take more time.
Am Montag, den 13.05.2013, 15:01 +0200 schrieb Ondřej Kunčar:
> Recently I noticed that it takes considerably more time to build
> Isabelle (makeall) on testboard than it used to take before. I did a
> small inspection and something must have happened between 25.3.2013 and
> 26.3.2013 because this build from 25.3. took 27 minutes
> and this build from 26.3.2008 took 42 minutes.
> I talked to Johannes and this slowdown doesn't seem to be related to his
> changes from 26.3.
> One can also see here that almost all sessions started to take more time
> to be built around that time:
> Any ideas?
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev