Re: [PATCH] Allow short titles in AMS articles

[Jürgen Spitzmüller]

Paul A. Rubin wrote:
> The attached patch to amsdefs.inc (versions 1.4.x and 1.5.x) turns on
> short titles, which amsart.cls supports.

Looks correct. José?

Jürgen