>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> On Wed, Oct 16, 2002 at 05:01:41PM +0200, Jean-Marc Lasgouttes Martin> wrote: >> >>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes: >> Martin> Needed this myself... attached. >> This looks good to me. An update to the docs would be nice, >> though. >> >> JMarc Martin> Extended.lyx, right? Any others? No, it should be enough. JMarc
