19 Nov
2002
19 Nov
'02
8:40 a.m.
David> PolyML.make raises an exception if it fails so it's easy enough David> to wrap a handler round it.
Yes, you're right, thanks for pointing that out.
--
Ian Zimmerman, Oakland, California, U.S.A. I did not vote for Emperor Bush.
GPG: 433BA087 9C0F 194F 203A 63F7 B1B8 6E5A 8CA3 27DB 433B A087