Re: Double word bug - LyX is duplicating random words

2015-02-02 Thread James Smith
On Mon, Feb 2, 2015 at 8:12 PM, Rainer M Krug wrote: > James Smith writes: > > > Jean-Marc Lasgouttes Sun, 01 Feb 2015 14:44:19 -0800 > > > > That's terribly weird. Could this be completion playing tricks? > > Although I do not see this happening.Can you give us details (LyX > > version, platfor

Re: Adding symbols to LyX

2015-02-02 Thread Georg Baum
Chris Menzel wrote: > Gentle LyX developers: > > What would it take to incorporate a couple of missing logical connectives? > The symbols \boxright and \Diamondright from the txfonts package are used > very commonly in modal logic to express the *would* and *might* > counterfactual conditionals.

Adding symbols to LyX

2015-02-02 Thread Chris Menzel
Gentle LyX developers: What would it take to incorporate a couple of missing logical connectives? The symbols \boxright and \Diamondright from the txfonts package are used very commonly in modal logic to express the *would* and *might* counterfactual conditionals. (Kludged up out of separate symbo

Re: Double word bug - LyX is duplicating random words

2015-02-02 Thread Rainer M Krug
James Smith writes: > Jean-Marc Lasgouttes Sun, 01 Feb 2015 14:44:19 -0800 > > That's terribly weird. Could this be completion playing tricks? > Although I do not see this happening.Can you give us details (LyX > version, platform...). We never had a report like this one.If you want > to find all