* [email protected] [2017-11-09 11:20 +0000]:
On 9/11/17, 22:20, "Norrish, Michael (Data61, Acton)" <[email protected]> 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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
