On Sat, 21 Dec 2002, Tim Jackson wrote:
> So, FWIW, I'd say retain the current behaviour.
That's what I've decided.
> (Furthermore, on a practical level, quite apart from what I've discussed
> above, there are probably quite a few low (or not so low)-hanging Wishlist
> items that might well merit attention more than the retry system that is
> fundamentally OK.)
Yes, that's also true. At first I thought that I could just delete some
code, but actually it's more complicated in any case, so all I'm going
to do is try to improve the manual for the next edition.
--
Philip Hazel University of Cambridge Computing Service,
ph10@??? Cambridge, England. Phone: +44 1223 334714.
