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
On Friday 08 June 2007 07:24:27 Jürgen Spitzmüller wrote:
Looks correct. José?
Jürgen
OK.
--
José Abílio
José Matos wrote:
OK.
committed.
Jürgen
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
On Friday 08 June 2007 07:24:27 Jürgen Spitzmüller wrote:
> Looks correct. José?
>
> Jürgen
OK.
--
José Abílio
José Matos wrote:
> OK.
committed.
Jürgen
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.
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
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.
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
10 matches
Mail list logo