Re: [Texmacs-dev] pasting texmacs

[Joris van der Hoeven]

On Thu, Jul 21, 2005 at 01:54:09PM +0200, Bas Spitters wrote:
> On Thursday 21 July 2005 11:55, Joris van der Hoeven wrote:
> > On Wed, Jul 20, 2005 at 10:56:07PM +0200, Bas Spitters wrote:
> > > On Wednesday 20 July 2005 11:28, Felix Breuer wrote:
> > > > On Wed, 20 Jul 2005 16:14:46 +0200
> > > >
> > > > Bas Spitters <address@hidden> wrote:
> > > > > Hi,
> > > > >
> > > > > It used to be possible to paste a string <cite|string> into texmacs
> > > > > and obtain a citation. This no longer works in 1.0.5.5. Is there a
> > > > > different way to do this?
> > > >
> > > > Did you Tools->Selection->Import->TeXmacs ?
> > >
> > > Yes, still I get: <expand|cite|string>.
> > > Note that this seems to have changed in a very recent version.
> >
> > Can you tell me in which precise version this bug appeared first?
> 
> It seems that it changed when I updated from, I guess, 1.0.5.4 to 1.0.5.5.

Can you please try the CVS version? I cannot reproduce this bug.