Re: Broken naming convention Abdulaziz Ghuloum 29 Mar 2008 20:46 UTC

On Mar 27, 2008, at 2:04 PM, William D Clinger wrote:

> [...] then we should adopt the suggestion made by Olin Shivers
> (personal communication): use Roman numerals.

+I

I can never remember the numbers anyways, so it make a little
difference for me.  Thanks Olin!

Aziz,,,