> On 4 Jan 2016, at 19:44, Rob Arthan <[email protected]> wrote: > > >> 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.
I was wrong about this. Later releases of ProofPower make some use of addPrettyPrinter but still use install_pp. I must have reverted to an earlier version of Poly/ML by mistake and thought things were working under Poly/ML 5.6, when they do not. Not having install_pp will be a stopper for me unless I can roll my own implementation of it using PolyML.addPrettyPrinter. Is that going to be an easy exercise? Regards, Rob. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
