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 <[EMAIL PROTECTED]> 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. _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
