![](https://secure.gravatar.com/avatar/58cce501a997822a0cb6051496d1b0c8.jpg?s=120&d=mm&r=g)
13 May
2005
13 May
'05
4:26 a.m.
On Thu, May 12, 2005 at 02:45:00PM +0200, Martin Schröder wrote:
On 2005-05-11 20:08:35 +0200, Taco Hoekwater wrote:
The just uploaded patch is much better than the original,
It's reverse, which makes applying it quite difficult. :-(
The patch seems very good, but I'll forward the idea to tex-implementors; this seems like a very nice extension.
sounds good. So I will leave it out for the moment. Thanh