January 7th, 2004, 10:11 am
Yes he did.The current state is certainly more than welcome, I just thought this would be a very easy addition and therefore I made thesuggestion. I do not know the implementation, therefore I thought it was just a matter of adding a couple of \usepackage{amsXXX} somewhere in the code.AMS support is not really needed, what exists is more than enough compared to the previous ASCII-only world