9 Nov
2017
9 Nov
'17
2:18 p.m.
* Michael.Norrish at data61.csiro.au [2017-11-09 11:20 +0000]:
On 9/11/17, 22:20, "Norrish, Michael (Data61, Acton)" <Michael.Norrish at 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.