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 |