[m-dev.] io__write et al

[Peter Schachte]

Looks good; one off-topic comment:

> `io__print' is what you teach first years and what you use for

Shouldn't we start encouraging the notation `io:print'?  If this is old
habits dying hard, fine, but if `__' is still preferred, I'd be interested
to know why.

-Peter Schachte      URL:  http://www.cs.mu.oz.au/~pets/
pets at cs.mu.OZ.AU     PGP:  finger pets at 128.250.37.150 for key
    [A computer is] like an Old Testament god, with a lot of rules
    and no mercy.  -- Joseph Campbell