On Sun, 18 Feb 2007 00:05:03 +0100, Matthew Raymond
<[EMAIL PROTECTED]> wrote:
I've been pondering a use for the <m> element, and I agree that the
highlighting sematics make the name "hi" a better choice. Also, I think
it would be most useful in this context:
FWIW, I think <hi> is a very confusing name. I keep thinking of some
header until I read it's supposed to replace the <m> element. If this
element is needed <m> is definitely a better name.
--
Anne van Kesteren
<http://annevankesteren.nl/>
<http://www.opera.com/>
