>>>>> "Enrico" == Enrico Forestieri <[EMAIL PROTECTED]> writes:
Enrico> On Wed, Jun 13, 2007 at 11:19:22PM +0100, José Matos wrote: >> On Wednesday 13 June 2007 19:11:41 Jean-Marc Lasgouttes wrote: > >> Looks OK to me. >> > >> > JMarc >> >> OK. Enrico> Committed: http://www.lyx.org/trac/changeset/18767. Enrico> JMarc, what about 1.4.x? OK, but note that OptionalArgs for environments do not exist there. JMarc