On Fri, Mar 10, 2006 at 05:32:09PM +0000, Enrico Forestieri wrote: > Enrico Forestieri <[EMAIL PROTECTED]> writes: > > > I tested your revised patch and now it also works with \tag*. > > Just noticed a small problem. It works when importing a latex file, but > I am not able to insert \tag* by using the keyboard. I obtain a \tag cell > plus the *, but not a \tag* cell.
Unfortunately, direct input of starred commands does not work in general (and it would be not trivial to get it right). Andre'