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_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
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
