David,
On 26 Nov 2017, at 09:14, David Matthews <David.Matthews at prolingua.co.uk> wrote:
I don't see that myself but it's certainly possible. A delay followed by Error 1 suggests that it is relying on the crow-bar thread to stop. The fact that this only happens on some platforms suggests a race condition.
In view of this I'm inclined to release the version without this change (44b7b88) as 5.7.1 and investigate the problem later.
i?ve no objection to that as far as ProofPower is concerned, because the situation in the ProofPower build process where there a lots of little runs of Poly/ML is completely untypical of normal use of ProofPower. In normal use, a typical session is either an interactive session lasting hours or even days or a batch replay of a proof script that will take 10 seconds or more.
Regards,
Rob.