On 4 Oct 2011, at 02:56, Hong Feng wrote: > > These does not work, because when I entry it, the system still prints out the > response: > > val it = (): unit > To turn those messages off do:
PolyML.print_depth 0; Regards, Rob.
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
