On Thu, Jun 07, 2007 at 12:33:45PM -0400, 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. I'm not sure why they're not > on already -- maybe there was a reason?
I suppose it was because the feature was added fairly recently, when this class file already existed. Nobody just did it. > Hopefully the patch file is readable. If not, just add OptionalArgs 1 > to the Title section of amsdefs.inc. - Martin