Hi Rob, install_pp has been deprecated for a while[1], with addPrettyPrinter[2] being its replacement. Is there a reason you can't use that?
Regards, James
[1] http://www.polyml.org/documentation/Reference/PolyMLStructure.html#install_p... [2] http://www.polyml.org/documentation/Reference/PolyMLStructure.html#addPretty...
On 3 Jan 2016, at 17:27, Rob Arthan <rda at lemma-one.com> wrote:
David,
On 2 Jan 2016, at 09:08, David Matthews <David.Matthews at 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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml