mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Sun, Aug 06, 2006 at 07:27:54PM +0200, Lionel Elie Mamane wrote:
> I see... So when a bug block (part of) the development of my TeXmacs
> plug-in
> (http://www.activemath.org/~paul/MathUI06/proceedings/CoqTeXMacs.html),

That looks very interesting. Is there a place where the plug-in
can be downloaded? Can we include it inside TeXmacs? Or is it (or Coq)
still too unstable?

>  #16786 does not block development, but makes some documents using my
>         plug-in look a bit ugly.

Notice that I remember doing something about a similar bug.
Please test with the latest version.

>  #16086: I can work around it, by taking care of always writing the
>          whole contents of the scheme block before opening a new
>        block, but this makes the other side (the process that talks
>        to TeXmacs) more complex.

I'll look into that as soon as I find some time.

Best wishes, Joris