>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes: | Comment Lars> is dead. Cut and paste into a Note inset instead. Lars> Huh? Is comment dead? I mean it should die as soon as note can output latex code. JMarc