On 3 Jan 2016, at 18:33, James Clarke <jrtc27 at jrtc27.com> wrote:
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?
Thanks for the reminder. (I?m glad to see the documentation doesn?t actually say ?deprecated?, a word that I deprecate as a substitute for ?not recommended? :-).) I was actually testing on an oldish release of ProofPower. Later releases use addPrettyPrinter.
Note that the the PolyMLStructure documentation will be out-of-date for version 5.6.
Regards,
Rob.
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
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml