[isabelle-dev] Timeouts in Flyspeck_Tame
makarius at sketis.net
Mon Feb 4 14:17:31 CET 2019
On 04/02/2019 10:37, Lars Hupel wrote:
> Is this related to the latest Poly/ML changes? The "slow" job still runs
> on the x86_64 platform. Last time it worked was 76fbd806ebc5. Hardware
> is 8-core LRZ VM.
I can confirm this: see
I have switched back to stable polyml-5.7.1-8 for now (see
Isabelle/a5732629cc46) and will be unavailable for the next few days.
More information about the isabelle-dev