>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:
>> Thanks for the fix in validate. Should I do the same in 1.3.x? Andre> Yes, please. Done. Andre> I see. I just grepped through AMS and found Andre> over(left|right)arrow there and assumed AMS was needed. Andre> Well, not requiring ams in these cases creates an interesting Andre> situation: What version is used depends on whether other places Andre> of the document require AMS. I removed them. JMarc
