Re: [PATCH] Allow short titles in AMS articles

2007-06-08 Thread 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

Re: [PATCH] Allow short titles in AMS articles

2007-06-08 Thread José Matos
On Friday 08 June 2007 07:24:27 Jürgen Spitzmüller wrote: Looks correct. José? Jürgen OK. -- José Abílio

Re: [PATCH] Allow short titles in AMS articles

2007-06-08 Thread Jürgen Spitzmüller
José Matos wrote: OK. committed. Jürgen

Re: [PATCH] Allow short titles in AMS articles

2007-06-08 Thread 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

Re: [PATCH] Allow short titles in AMS articles

2007-06-08 Thread José Matos
On Friday 08 June 2007 07:24:27 Jürgen Spitzmüller wrote: > Looks correct. José? > > Jürgen OK. -- José Abílio

Re: [PATCH] Allow short titles in AMS articles

2007-06-08 Thread Jürgen Spitzmüller
José Matos wrote: > OK. committed. Jürgen

[PATCH] Allow short titles in AMS articles

2007-06-07 Thread 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.

Re: [PATCH] Allow short titles in AMS articles

2007-06-07 Thread Martin Vermeer
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

[PATCH] Allow short titles in AMS articles

2007-06-07 Thread 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.

Re: [PATCH] Allow short titles in AMS articles

2007-06-07 Thread Martin Vermeer
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