>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> I am currently looking hard at the ICU library, and even if I Lars> don't like the api super well, I think this will reduce the Lars> effort we will have to put in tremendously. The only question I have is: how do we handle the conversion from/to LaTeX notation? JMarc
