On Mon, Dec 09, 2002 at 09:05:34AM +0100, Andre Poenitz wrote: > Patch attached.
thanks > Note that the \dots case was in fact a bit more convoluted > than I expected. so that's why my dumb attempt didn't work ... john
On Mon, Dec 09, 2002 at 09:05:34AM +0100, Andre Poenitz wrote: > Patch attached.
thanks > Note that the \dots case was in fact a bit more convoluted > than I expected. so that's why my dumb attempt didn't work ... john