[PATCH] Allow short titles in AMS articles

[Paul A. Rubin]

The attached patch to amsdefs.inc (versions 1.4.x and 1.5.x) turns on 
short titles, which amsart.cls supports.  I'm not sure why they're not 
on already -- maybe there was a reason?

Hopefully the patch file is readable.  If not, just add OptionalArgs 1 
to the Title section of amsdefs.inc.

/Paul

78d77
<       OptionalArgs          1