TeXmacs-devel - Development files for TeXmacs
Website: | http://www.texmacs.org |
---|---|
License: | GPLv2+ |
- Description:
Development files required to create TeXmacs plugins.
Packages
TeXmacs-devel-1.0.6.12-2.PU_IAS.5.x86_64 [28 KiB] |
Changelog
by Gerard Milmeister (2007-11-05):
- new release 1.0.6.12 - split off devel package |