|
TeXmacs plug-ins |
|
There are many ways in which TeXmacs can be customized or extended:
users may define their own style files, customize the user interface,
or write links with extern programs. The plug-in system provides a
universal mechanism to combine one or several such extensions in a
single package. Plug-ins are both easy to install by other users and
easy to write and maintain.
© 1998–2002 Joris van der Hoeven
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.1 or
any later version published by the Free Software Foundation; with no
Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
Texts. A copy of the license is included in the section entitled
"GNU Free Documentation License".