naming conventions, was: Case sensitivity



On Tuesday 15 April 2003 05:44, Steve Haflich wrote:
[Lot's of good unicode ideas]

That's a very good proposal! And there might even be a solution for the 
people fighting for case insensitivity: It is probably easy to set up an 
editor (e.g. EMACS) so that all basic latin characters are treated as case 
insensitive (i.e. "a" and "A" refer to the same character) and Unicode 
characters (that includes uppercase characters) are displayed as Unicode 
numerals. The point is that people who enable case insensitivity won't see 
many unicode characters as long as they are using the built in Maxima 
commands (they should be, as most of us seem to agree, all in lowercase).

If someone needs a proof of concept I'm willing to try to forge such a mode 
in EMACS. I'm also pretty certain that it is possible to realize such a 
mode in XMaxima and in the command line interface (which probably can't 
display most unicode characters anyhow).

Felix

-- 
To contact me in private don't reply but send email to 
  felix DOT klee AT inka DOT de