PUIAS Penguin

development/libraries

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

Listing created by Repoview-0.6.5-1.el6