mailing-list for TeXmacs Users

[Lionel Elie Mamane <address@hidden>]

On Sun, Aug 06, 2006 at 10:08:54PM +0200, Joris van der Hoeven wrote:
> 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?

There is a public mirror of my GNU Arch development repository at
http://www.cs.ru.nl/fnds-arch/lmamane/science/; the tmegg--mainline
branch is it. There is exactly zero documentation, though.

> Can we include it inside TeXmacs? Or is it (or Coq) still too
> unstable?

Including it with TeXmacs is premature.

It is a prototype (not feature-complete), needs a beta version of Coq
and will soon need my own development branch (fork) of Coq. At some
point in the future, I'll merge my changes back into the mainline
Coq. Then, we can start talking about adding my plug-in to TeXmacs. Or
maybe when a new version of Coq (with my changes) is released.

>>  #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.

Indeed, it is fixed.

-- 
Lionel