Fichiers de style TeXmacs

Une des caractéristiques fondamentales de TeXmacs est la possibilité d'écrire des fichiers de style personnalisés et des modules. L'utilité des fichiers de style est multiple :

Il est possible d'associer à un document un ou plusieurs styles de document, qu'ils soient standards ou personnalisés. Le style principal d'un document est défini avec DocumentStyle. D'autres styles peuvent être ajoutés avec DocumentUtiliser paquetage.

Pour l'éditeur, chaque style correspond à un fichier .ts. Les fichiers correspondant à chaque style sont traités comme des documents ordinaires, mais, à la fin, l'éditeur ne conserve que l'environnement final, qui sert alors d'environnement initial au document principal. Plus précisément, les fichiers de style sont traités dans l'ordre, ainsi que leurs propres fichiers de style, de façon récursive.

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