[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


We need to decide by the end of the weekend what to do about naming.
I strongly hesitate to make the change (if it can be said that one can
strongly hesitate). If we make the change I prefer the terms NAME-<word>
over SYMBOL-<word>. I worry that we will make an ugly mistake in doing