>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> Am Dienstag, 18. November 2003 09:37 schrieb Andre Poenitz: >> On Mon, Nov 17, 2003 at 08:58:36PM +0100, Georg Baum wrote: > Am >> Montag, 17. November 2003 09:52 schrieb Andre Poenitz: > > Looks >> good. Is this ready for 'commit'? >> > >> > Yes. Maybe with the size() -> !empty() change suggested by Angus. >> BTW, > this construct is used at a few other places in tex2lyx, >> some from me, > some from others. >> >> Feel free to correct that. Georg> See attached. Thanks a lot. Applied. JMarc
