Query on UTF-32 encodings for letters

[Tom Tromey]

>>>>> "Robert" == Robert Dewar <dewar@adacore.com> writes:

Robert> though the case conversion one is pretty huge -- that's
Robert> not one that C and Java have to worry about

FWIW, libgcj does need this, since String and Character both have case
conversion methods.  This is mostly table-driven, using tables derived
from the Unicode tables via a converter program, but there are some
special cases in String for weird things like esset and dotless "i" in
the Turkish locale.  See libjava/scripts and
libjava/java/lang/{*String*,*Character*}.

Tom