Document: texmacs
Title: TeXmacs Manual
Author: Joris van der Hoeven <TeXmacs@math.u-psud.fr>
Abstract: This manual describes how to use TeXmacs for typsetting.
Section: editors

Format: dvi
Files: /usr/share/doc/texmacs/texmacs.dvi.gz
