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


_______________________________________________
Texmacs-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev

Reply via email to