[ProofPower] Setting up on macosx Sierra fails...

[Hugh Anderson]

Hi - I just tried using SMLNJ instead of polyML, but I got the same error 
at the same place...

Cheers Hugh

On Sat, 13 May 2017, Hugh Anderson wrote:

>
> Hi - I am trying to install ProofPower-Z using my new mac/Sierra machine,
> using polyml, installed from brew: Poly/ML 5.7 Release RTS version: 
> X86_64-5.6
  ...

Hugh Anderson                             E-mail: hugh at comp.nus.edu.sg
SoC, National University of Singapore     http://www.comp.nus.edu.sg/~hugh