On 25/11/17 18:44, David Matthews wrote:
> I've had a better look and I found that I was seeing this as well. I've
> pushed a fix and it no longer seems to be doing it. It's a very small
> change so I would be very surprised if it has broken anything but I'll
> give it a couple of days and then
Rob,
I've had a better look and I found that I was seeing this as well. I've
pushed a fix and it no longer seems to be doing it. It's a very small
change so I would be very surprised if it has broken anything but I'll
give it a couple of days and then release 5.7.1.
Regards,
David
On
David,
Knowing Phil he will be using some version of Linux, but I see similar results
on Mac OS:
E.g., on Mac OS High Sierra 10.13.1:
rda]- echo | time /usr/local/poly/5.7-inf/bin/poly
Poly/ML 5.7 Release
0.00 real 0.00 user 0.00 sys
rda]- echo | time
I have just realized what is probably accounting for the delay below. I
have noticed recently that there is a slight delay when exiting the poly
session.
echo | time poly
gives 0.49 s elapsed time on my machine. After a build of ProofPower
there are 262 SML files and most are processed