David,
> On 2 Jan 2016, at 09:08, David Matthews <david.matth...@prolingua.co.uk> > wrote: > > I've updated the github repository with pre-built compilers for 5.6 Release. > This is now the release candidate. Unless there are any significant problems > this will be released in the next few weeks. > The ProofPower build expects to install pretty-printers using PolyML.install_pp. That doesn’t seem to be there any more in the 5.6 release candidate. > Best wishes for 2016, Happy New Year to you and the Poly/ML user community! Regards, Rob. _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml