Re: [Texmacs-dev] pasting texmacs

[Joris van der Hoeven]

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?