New set comprehension notation was added. SML
string notation was added. Support for the XEmacs
editor was added. Case expressions may now include
literals as patterns. Inductive definitions are
now made with respect to a varying monoset. Types
that use abbreviated patterns are printed in
abbreviated form. Support for rational numbers and
fixed-length integers was added. Bugs that
prevented some components from compiling under GCC
4 were fixed. Normalization in natural numbers and
integers was fixed. Handling of empty strings was
fixed.
