Back to index

texmacs  1.0.7.15

Edit → Plugins Relation

File in TeXmacs-1.0.7.15-src/src/EditIncludes file in TeXmacs-1.0.7.15-src/src/Plugins
Interface / edit_interface.cppMetafont / tex_files.hpp
Process / edit_process.cppBibtex / bibtex.hpp
Process / edit_process.cppBibtex / bibtex_functions.hpp
Replace / edit_spell.cppIspell / ispell.hpp
editor.hppWidkit / simple_wk_widget.hpp