> On 3 Jan 2016, at 18:33, James Clarke <[email protected]> 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_pp > [2] > http://www.polyml.org/documentation/Reference/PolyMLStructure.html#addPrettyPrinter > >> On 3 Jan 2016, at 17:27, Rob Arthan <[email protected]> wrote: >> >> David, >> >> >>> On 2 Jan 2016, at 09:08, David Matthews <[email protected]> >>> 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 >> [email protected] >> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > _______________________________________________ > polyml mailing list > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
