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

Case of symbols and their print-names

The case-sensitivity/case-conversion wars were long and bloody, and
that particular battlefield is still radioactive.  We might take one
last look at this sometime down the road, after lots of other issues
have been decided and we're all in a good mood, but PLEASE let's not
reopen this issue now.

-- Scott