Moshe Zadka <moshez at math.huji.ac.il> wrote: [snip] > It's much better to say "the language is case-insensitive" and to have the > tools correct case as you write. You forgot this, didn't you? :) Or-the-same-with-"the language is case-sensitive"-ly yours, Martijn -- History of the 20th Century: WW1, WW2, WW3? No, WWW -- Could we be going in the right direction?