* michael.norr...@data61.csiro.au [2017-11-09 11:20 +0000]:
On 9/11/17, 22:20, "Norrish, Michael (Data61, Acton)" <michael.norr...@data61.csiro.au> wrote: Start up with poly –q and then emit a PolyML.print_depth 100 to get it back to printing things back to the user?
Thanks Michael. Tim.
signature.asc
Description: PGP signature
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml