>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:
>> Thanks for the fix in validate. Should I do the same in 1.3.x? Andre> Yes, please. OK. 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. We'll see whether somebody notices it. I would be surprised if there was a difference; it would be mentionned in the docs. JMarc
