texmacs-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Texmacs-dev] New Typographical Primitives


From: Bruno Loff
Subject: [Texmacs-dev] New Typographical Primitives
Date: Mon, 26 Dec 2005 23:22:24 +0000

Hello,

I wanted to program a new TeXmacs typographical primitive in scheme,
more specifically I wanted to add a primitive to display logical
derivation trees. I have looked for a way to do this, but the part on
the documentation related to extending TeXmacs in scheme is grayed
out.

Help?


Cheers,
 Bruno Loff




reply via email to

[Prev in Thread] Current Thread [Next in Thread]