On Mon, Jul 28, 2003 at 09:01:48PM +0200, Juergen Spitzmueller spake thusly: > > Martin Vermeer wrote: > > If this is verified to work, could you prepare a patch (including the > > validate -> newenvironment thing I suppose is needed)? I think it's a > > good idea. > > Here is the patch. It works as far as I can tell. Perhaps you test a little > bit and apply if it's o.k. (I have too much stuff in my tree ATM). > > Juergen.
Seems to work as advertised. Jean-Marc, can this be committed? Martin -- Martin Vermeer [EMAIL PROTECTED] Helsinki University of Technology Dept. of Surveying, Inst. of Geodesy P.O. Box 1200, FIN-02015 HUT, Finland :wq
pgp00000.pgp
Description: PGP signature
