Re: [Texmacs-dev] pasting texmacs

[Bas Spitters]

On Thursday 21 July 2005 18:18, Joris van der Hoeven wrote:
> 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.

Seem to work in CVS. Please ignore this.

Bas