[Texmacs-dev] Extended linking behaviour for TeXmacs

[Joris van der Hoeven]

Hi,

Later this year, we plan to develop extended linking support for TeXmacs.
This is useful in a variety of circumstances, ranging from proof systems
(automatically generated resources), annotation (typed links) to simpler
links in documentation (linkbases). I attached a first proposal,
inspired among others by Xlink.

I also recommend people to take a look at "Proclus", a plug-in,
available from our CVS, for the creation of typed links for
annotation purposes. This system was developed by Alain Herreman
and David Allouche. They should include some documentation soon.

Best wishes, Joris

xlink.tm
Description: Proposal