Re: New export code

[Dekel Tsur]

On Thu, Aug 31, 2000 at 04:45:14PM +0200, Juergen Vigna wrote:
> 
> P.S.: Thanks Dekel for this solution! :)

Actually, I got this code from lyx-users (it was posted by Matej Cepl).