Add texmacs 0.3.5.8, a free WYSIWYG scientific text editor.

PR:		32434
Submitted by:	Geoffrey Mainland <mainland@apeiron.net>

5 files changed, 895 insertions, 0 deletions

diff --git a/editors/texmacs/Makefile b/editors/texmacs/Makefile
new file mode 100644
index 000000000000..5f138354f192
--- /dev/null
+++ b/editors/texmacs/Makefile
@@ -0,0 +1,35 @@
+# New ports collection makefile for:	texmacs
+# Date created:		1 December 2001
+# Whom:			Geoffrey Mainland <mainland@apeiron.net>
+#
+# $FreeBSD$
+#
+
+PORTNAME=	texmacs
+PORTVERSION=	0.3.5.8
+CATEGORIES=	editors print
+MASTER_SITES=	ftp://ftp.texmacs.org/pub/TeXmacs/targz/
+DISTFILES=	TeXmacs-${PORTVERSION}-src.tar.gz \
+		TeXmacs-600dpi-fonts.tar.gz
+
+MAINTAINER=	mainland@apeiron.net
+
+BUILD_DEPENDS=	guile:${PORTSDIR}/lang/guile \
+		latex:${PORTSDIR}/print/latex
+RUN_DEPENDS=	latex:${PORTSDIR}/print/latex
+
+WRKSRC=	${WRKDIR}/TeXmacs-${PORTVERSION}-src
+
+USE_XLIB=	yes
+GNU_CONFIGURE=	yes
+
+ALL_TARGET=
+
+MAN1=		texmacs.1 fig2ps.1
+MANCOMPRESSED=	yes
+
+post-extract:
+	@(cd ${WRKSRC}/TeXmacs-${PORTVERSION}; \
+		${TAR} xzf ${DISTDIR}/TeXmacs-600dpi-fonts.tar.gz)
+
+.include <bsd.port.mk>
diff --git a/editors/texmacs/distinfo b/editors/texmacs/distinfo
new file mode 100644
index 000000000000..668084c5b46e
--- /dev/null
+++ b/editors/texmacs/distinfo
@@ -0,0 +1,2 @@
+MD5 (TeXmacs-0.3.5.8-src.tar.gz) = 15577500451e21e605a40f546bd12c89
+MD5 (TeXmacs-600dpi-fonts.tar.gz) = 945dfd3f76b20082aeea8131d87a260f
diff --git a/editors/texmacs/pkg-comment b/editors/texmacs/pkg-comment
new file mode 100644
index 000000000000..f858dacea1bb
--- /dev/null
+++ b/editors/texmacs/pkg-comment
@@ -0,0 +1 @@
+A free WYSIWYG scientific text editor
diff --git a/editors/texmacs/pkg-descr b/editors/texmacs/pkg-descr
new file mode 100644
index 000000000000..8a8487fbb5f1
--- /dev/null
+++ b/editors/texmacs/pkg-descr
@@ -0,0 +1,11 @@
+GNU TeXmacs is a free scientific text editor, which was both inspired
+by TeX and GNU Emacs. The editor allows you to write structured
+documents via a wysiwyg (what-you-see-is-what-you-get) and user
+friendly interface. New styles may be created by the user. The program
+implements high-quality typesetting algorithms and TeX fonts, which
+help you to produce professionally looking documents.
+
+WWW: http://www.texmacs.org/
+
+- Geoffrey Mainland
+mainland@apeiron.net
diff --git a/editors/texmacs/pkg-plist b/editors/texmacs/pkg-plist
new file mode 100644
index 000000000000..9a6ea86cfdf9
--- /dev/null
+++ b/editors/texmacs/pkg-plist
@@ -0,0 +1,846 @@
+bin/fig2ps
+bin/texmacs
+include/TeXmacs.h
+libexec/TeXmacs-0.3.5.8/bin/maxima_filter
+libexec/TeXmacs-0.3.5.8/bin/mupad_filter
+libexec/TeXmacs-0.3.5.8/bin/reduce_filter
+libexec/TeXmacs-0.3.5.8/bin/reduce_setup
+libexec/TeXmacs-0.3.5.8/bin/texmacs.bin
+libexec/TeXmacs-0.3.5.8/bin/tm_maxima
+libexec/TeXmacs-0.3.5.8/bin/tm_mupad
+libexec/TeXmacs-0.3.5.8/bin/tm_mupad_help
+libexec/TeXmacs-0.3.5.8/bin/tm_reduce
+libexec/TeXmacs-0.3.5.8/lib/libbasic.so
+libexec/TeXmacs-0.3.5.8/lib/libconvert.so
+libexec/TeXmacs-0.3.5.8/lib/libedit.so
+libexec/TeXmacs-0.3.5.8/lib/libglue.so
+libexec/TeXmacs-0.3.5.8/lib/libresource.so
+libexec/TeXmacs-0.3.5.8/lib/libserver.so
+libexec/TeXmacs-0.3.5.8/lib/libtypeset.so
+libexec/TeXmacs-0.3.5.8/lib/libwindow.so
+share/TeXmacs-0.3.5.8/doc/dvi/texmacs.dvi
+share/TeXmacs-0.3.5.8/doc/dvi/texmacs.tex
+share/TeXmacs-0.3.5.8/doc/english/help/about.tex
+share/TeXmacs-0.3.5.8/doc/english/help/advanced.tex
+share/TeXmacs-0.3.5.8/doc/english/help/compatibility.tex
+share/TeXmacs-0.3.5.8/doc/english/help/interface.tex
+share/TeXmacs-0.3.5.8/doc/english/help/introduction.tex
+share/TeXmacs-0.3.5.8/doc/english/help/keyboard.tex
+share/TeXmacs-0.3.5.8/doc/english/help/russian.tm
+share/TeXmacs-0.3.5.8/doc/english/help/scheme.tex
+share/TeXmacs-0.3.5.8/doc/english/help/styles.tex
+share/TeXmacs-0.3.5.8/doc/english/help/tables.tex
+share/TeXmacs-0.3.5.8/doc/english/help/welcome.tex
+share/TeXmacs-0.3.5.8/doc/english/projects/changes.tex
+share/TeXmacs-0.3.5.8/doc/english/projects/helpme.tex
+share/TeXmacs-0.3.5.8/doc/english/projects/projects.tex
+share/TeXmacs-0.3.5.8/doc/english/projects/tochange.tex
+share/TeXmacs-0.3.5.8/doc/english/source/basic.tex
+share/TeXmacs-0.3.5.8/doc/english/source/boxes.tex
+share/TeXmacs-0.3.5.8/doc/english/source/buffer.tex
+share/TeXmacs-0.3.5.8/doc/english/source/bugs.tex
+share/TeXmacs-0.3.5.8/doc/english/source/compiler.tex
+share/TeXmacs-0.3.5.8/doc/english/source/convert.tex
+share/TeXmacs-0.3.5.8/doc/english/source/data.tex
+share/TeXmacs-0.3.5.8/doc/english/source/fonts.tex
+share/TeXmacs-0.3.5.8/doc/english/source/general.tex
+share/TeXmacs-0.3.5.8/doc/english/source/math.tex
+share/TeXmacs-0.3.5.8/doc/english/source/window.tex
+share/TeXmacs-0.3.5.8/doc/english/startup/readme.tex
+share/TeXmacs-0.3.5.8/doc/english/startup/upgrade-0.tex
+share/TeXmacs-0.3.5.8/doc/english/startup/upgrade-1.tex
+share/TeXmacs-0.3.5.8/doc/english/startup/upgrade-2.tex
+share/TeXmacs-0.3.5.8/doc/english/startup/upgrade-3.tex
+share/TeXmacs-0.3.5.8/doc/romanian/help/introduction.tm
+share/TeXmacs-0.3.5.8/doc/romanian/help/keyboard.tm
+share/TeXmacs-0.3.5.8/doc/romanian/help/styles.tm
+share/TeXmacs-0.3.5.8/fonts/enc/adobe-math.enc
+share/TeXmacs-0.3.5.8/fonts/enc/cmmi.enc
+share/TeXmacs-0.3.5.8/fonts/enc/cmr.enc
+share/TeXmacs-0.3.5.8/fonts/enc/cmsy.enc
+share/TeXmacs-0.3.5.8/fonts/enc/italic.enc
+share/TeXmacs-0.3.5.8/fonts/enc/line.enc
+share/TeXmacs-0.3.5.8/fonts/enc/math.enc
+share/TeXmacs-0.3.5.8/fonts/enc/msam.enc
+share/TeXmacs-0.3.5.8/fonts/enc/msbm.enc
+share/TeXmacs-0.3.5.8/fonts/enc/rpsyr.enc
+share/TeXmacs-0.3.5.8/fonts/enc/rpsyro.enc
+share/TeXmacs-0.3.5.8/fonts/enc/rptmr.enc
+share/TeXmacs-0.3.5.8/fonts/enc/rubber-cmex.enc
+share/TeXmacs-0.3.5.8/fonts/enc/rubber-stmary.enc
+share/TeXmacs-0.3.5.8/fonts/enc/rubber-wasy.enc
+share/TeXmacs-0.3.5.8/fonts/enc/rubber.enc
+share/TeXmacs-0.3.5.8/fonts/enc/stmary.enc
+share/TeXmacs-0.3.5.8/fonts/enc/var-math.enc
+share/TeXmacs-0.3.5.8/fonts/enc/wasy.enc
+share/TeXmacs-0.3.5.8/fonts/pk/bbm10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbm11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbm12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbm7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbm8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbm9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbmbx10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbmbx11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbmbx12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbmbx7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbmbx8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbmbx9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbold10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbold11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbold12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbold7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbold8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/bbold9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbsy10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbsy11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbsy12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbsy5.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbsy6.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbsy7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbsy8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbsy9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbx10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbx11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbx12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbx5.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbx6.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbx7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbx8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmbx9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmex10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmex11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmex12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmex5.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmex6.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmex7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmex8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmex9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmi10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmi11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmi12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmi5.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmi6.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmi7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmi8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmi9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmib10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmib11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmib12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmib5.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmib6.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmib7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmib8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmmib9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmr10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmr11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmr12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmr17.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmr5.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmr6.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmr7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmr8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmr9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmsy10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmsy11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmsy12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmsy5.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmsy6.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmsy7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmsy8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/cmsy9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx13.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx14.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx16.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx17.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx19.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx21.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx23.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx25.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx5.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecbx9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eccc10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eccc11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eccc12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eccc14.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eccc7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eccc8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecit10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecit11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecit12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecit14.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecit8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm11.300pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm13.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm14.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm16.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm17.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm19.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm21.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm23.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm25.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm5.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm6.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecrm9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecsl10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecsl11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecsl12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecsl14.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecsl8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecss10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecss11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecss12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecss14.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecss8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecsx10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecsx11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecsx12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecsx14.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecsx8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecti10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecti11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecti12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecti14.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ecti8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ectt10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ectt11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ectt12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ectt14.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/ectt8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/euex10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/euex7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/euex8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/euex9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eufb10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eufb7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eufb8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eufb9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eufm10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eufm7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eufm8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eufm9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eurb10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eurb7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eurb8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eurb9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eurm10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eurm7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eurm8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eurm9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eusb10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eusb7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eusb8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eusb9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eusm10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eusm7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eusm8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/eusm9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/larm1000.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/larm1100.300pk
+share/TeXmacs-0.3.5.8/fonts/pk/msam10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msam11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msam12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msam5.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msam6.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msam7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msam8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msam9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msbm10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msbm11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msbm12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msbm5.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msbm6.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msbm7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msbm8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/msbm9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/pnb10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/pnr10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/pnsl10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/pnss10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/pnssb10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/pnssi10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/pntt9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/rsfs10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/rsfs11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/rsfs12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/rsfs7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/rsfs8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/rsfs9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/stmary10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/stmary11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/stmary12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/stmary5.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/stmary6.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/stmary7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/stmary8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/stmary9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasy10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasy11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasy12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasy5.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasy6.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasy7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasy8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasy9.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasyb10.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasyb11.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasyb12.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasyb6.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasyb7.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasyb8.600pk
+share/TeXmacs-0.3.5.8/fonts/pk/wasyb9.600pk
+share/TeXmacs-0.3.5.8/fonts/tfm/bbm10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbm11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbm12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbm7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbm8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbm9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbmbx10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbmbx11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbmbx12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbmbx7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbmbx8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbmbx9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbold10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbold11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbold12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbold7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbold8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/bbold9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbsy10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbsy11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbsy12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbsy5.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbsy6.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbsy7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbsy8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbsy9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbx10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbx11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbx12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbx5.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbx6.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbx7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbx8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmbx9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmex10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmex11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmex12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmex5.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmex6.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmex7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmex8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmex9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmi10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmi11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmi12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmi5.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmi6.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmi7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmi8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmi9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmib10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmib11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmib12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmib5.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmib6.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmib7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmib8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmmib9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmr10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmr11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmr12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmr17.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmr5.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmr6.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmr7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmr8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmr9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmsy10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmsy11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmsy12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmsy5.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmsy6.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmsy7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmsy8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/cmsy9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx13.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx14.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx16.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx17.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx19.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx21.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx23.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx25.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx5.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecbx9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eccc10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eccc11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eccc12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eccc14.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eccc7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eccc8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecit10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecit11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecit12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecit14.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecit8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm13.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm14.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm16.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm17.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm19.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm21.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm23.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm25.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm5.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm6.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecrm9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecsl10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecsl11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecsl12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecsl14.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecsl8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecss10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecss11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecss12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecss14.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecss8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecsx10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecsx11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecsx12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecsx14.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecsx8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecti10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecti11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecti12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecti14.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ecti8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ectt10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ectt11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ectt12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ectt14.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/ectt8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/euex10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/euex7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/euex8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/euex9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eufb10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eufb7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eufb8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eufb9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eufm10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eufm7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eufm8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eufm9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eurb10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eurb7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eurb8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eurb9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eurm10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eurm7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eurm8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eurm9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eusb10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eusb7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eusb8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eusb9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eusm10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eusm7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eusm8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/eusm9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/larm1000.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/larm1100.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msam10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msam11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msam12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msam5.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msam6.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msam7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msam8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msam9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msbm10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msbm11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msbm12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msbm5.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msbm6.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msbm7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msbm8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/msbm9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/pnb10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/pnr10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/pnsl10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/pnss10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/pnssb10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/pnssi10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/pntt9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/rsfs10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/rsfs11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/rsfs12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/rsfs7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/rsfs8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/rsfs9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/stmary10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/stmary11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/stmary12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/stmary5.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/stmary6.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/stmary7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/stmary8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/stmary9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasy10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasy11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasy12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasy5.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasy6.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasy7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasy8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasy9.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasyb10.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasyb11.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasyb12.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasyb6.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasyb7.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasyb8.tfm
+share/TeXmacs-0.3.5.8/fonts/tfm/wasyb9.tfm
+share/TeXmacs-0.3.5.8/fonts/virtual/long.vfn
+share/TeXmacs-0.3.5.8/fonts/virtual/misc.vfn
+share/TeXmacs-0.3.5.8/fonts/virtual/negate.vfn
+share/TeXmacs-0.3.5.8/langs/mathematical/syntax/texmath.syx
+share/TeXmacs-0.3.5.8/langs/natural/dic/english-czech.scm
+share/TeXmacs-0.3.5.8/langs/natural/dic/english-dutch.scm
+share/TeXmacs-0.3.5.8/langs/natural/dic/english-french.scm
+share/TeXmacs-0.3.5.8/langs/natural/dic/english-german.scm
+share/TeXmacs-0.3.5.8/langs/natural/dic/english-hungarian.scm
+share/TeXmacs-0.3.5.8/langs/natural/dic/english-new.scm
+share/TeXmacs-0.3.5.8/langs/natural/dic/english-polish.scm
+share/TeXmacs-0.3.5.8/langs/natural/dic/english-portuguese.scm
+share/TeXmacs-0.3.5.8/langs/natural/dic/english-romanian.scm
+share/TeXmacs-0.3.5.8/langs/natural/dic/english-russian.scm
+share/TeXmacs-0.3.5.8/langs/natural/dic/english-spanish.scm
+share/TeXmacs-0.3.5.8/langs/natural/dic/english-swedish.scm
+share/TeXmacs-0.3.5.8/langs/natural/hyphen/hyphen.czech
+share/TeXmacs-0.3.5.8/langs/natural/hyphen/hyphen.dutch
+share/TeXmacs-0.3.5.8/langs/natural/hyphen/hyphen.finnish
+share/TeXmacs-0.3.5.8/langs/natural/hyphen/hyphen.french
+share/TeXmacs-0.3.5.8/langs/natural/hyphen/hyphen.german
+share/TeXmacs-0.3.5.8/langs/natural/hyphen/hyphen.hungarian
+share/TeXmacs-0.3.5.8/langs/natural/hyphen/hyphen.polish
+share/TeXmacs-0.3.5.8/langs/natural/hyphen/hyphen.portuguese
+share/TeXmacs-0.3.5.8/langs/natural/hyphen/hyphen.romanian
+share/TeXmacs-0.3.5.8/langs/natural/hyphen/hyphen.russian
+share/TeXmacs-0.3.5.8/langs/natural/hyphen/hyphen.spanish
+share/TeXmacs-0.3.5.8/langs/natural/hyphen/hyphen.swedish
+share/TeXmacs-0.3.5.8/langs/natural/hyphen/hyphen.ukenglish
+share/TeXmacs-0.3.5.8/langs/natural/hyphen/hyphen.us
+share/TeXmacs-0.3.5.8/langs/natural/miss/english-czech-miss.scm
+share/TeXmacs-0.3.5.8/langs/natural/miss/english-hungarian-miss.scm
+share/TeXmacs-0.3.5.8/langs/natural/miss/english-polish-miss.scm
+share/TeXmacs-0.3.5.8/langs/natural/miss/english-portuguese-miss.scm
+share/TeXmacs-0.3.5.8/langs/natural/miss/english-romanian-miss.scm
+share/TeXmacs-0.3.5.8/langs/natural/miss/english-spanish-miss.scm
+share/TeXmacs-0.3.5.8/langs/natural/miss/english-swedish-miss.scm
+share/TeXmacs-0.3.5.8/misc/convert/color.pro
+share/TeXmacs-0.3.5.8/misc/convert/html_commands
+share/TeXmacs-0.3.5.8/misc/convert/latex_commands
+share/TeXmacs-0.3.5.8/misc/convert/special.pro
+share/TeXmacs-0.3.5.8/misc/convert/tex.pro
+share/TeXmacs-0.3.5.8/misc/latex/TeXmacs.sty
+share/TeXmacs-0.3.5.8/misc/latex/post.tex
+share/TeXmacs-0.3.5.8/misc/maxima/texmacs.lisp
+share/TeXmacs-0.3.5.8/misc/mime/texmacs.applications
+share/TeXmacs-0.3.5.8/misc/mime/texmacs.desktop
+share/TeXmacs-0.3.5.8/misc/mime/texmacs.keys
+share/TeXmacs-0.3.5.8/misc/mime/texmacs.mime
+share/TeXmacs-0.3.5.8/misc/mupad/COPYRIGHT
+share/TeXmacs-0.3.5.8/misc/mupad/README
+share/TeXmacs-0.3.5.8/misc/mupad/patchlib.tar
+share/TeXmacs-0.3.5.8/misc/mupad/texmacs.mu
+share/TeXmacs-0.3.5.8/misc/mycas/mycas.cc
+share/TeXmacs-0.3.5.8/misc/pixmaps/TeXmacs-old.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/TeXmacs-solid.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/TeXmacs.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_abstract.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_acute.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_arrow.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_bar.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_bbb.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_bigleft.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_bigop.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_bigright.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_bigsep.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_binop.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_binrel.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_bold.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_books.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_breve.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cal.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cancel.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cas_input.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_background.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_border.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_bottom.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_by_cell.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_by_column.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_by_row.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_by_table.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_cell.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_column.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_hbase.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_hcenter.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_height.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_hexact.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_hmax.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_hmin.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_hsep.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_left.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_pos.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_right.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_row.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_size.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_span.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_special.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_subtable.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_table.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_top.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_vbase.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_vcenter.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_vexact.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_vmax.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_vmin.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_vsep.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cell_width.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_center.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_chapter.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_check.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_clsession.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_color.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_copy.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_cut.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_ddot.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_dead.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_decorate_down.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_decorate_left.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_decorate_right.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_decorate_up.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_description.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_dot.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_emphasize.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_empty.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_enumerate.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_exit.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_find.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_find_next.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_floating.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_footnote.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_fraction.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_frak.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_grave.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_greek.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_hat.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_help.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_image.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_index.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_italic.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_item.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_itemize.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_justify.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_language.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_left.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_link.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_margin.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_math.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_mathbold.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_miscsymb.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_multicol.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_name.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_new.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_open.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_parindent.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_parstyle.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_paste.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_print.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_redo.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_replace.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_right.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_root.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_sansserif.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_save.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_section.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_shell.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_smallcaps.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_spell.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_sqrt.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_stop.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_strong.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_style.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_sub.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_sup.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_arow.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_bbottom.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_bhcenter.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_bleft.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_bottom.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_bright.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_brow.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_btop.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_bvcenter.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_dcol.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_drow.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_hbase.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_hcenter.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_insert.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_lcol.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_left.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_pos.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_rcol.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_right.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_special.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_top.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_vbase.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_vcenter.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_table_vfrac.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_test.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_theorem.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_tilda.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_title.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_typewriter.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_undo.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_vect.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/tm_verbatim.xpm
+share/TeXmacs-0.3.5.8/misc/pixmaps/unknown.ps
+share/TeXmacs-0.3.5.8/misc/reduce/README
+share/TeXmacs-0.3.5.8/misc/reduce/patch
+share/TeXmacs-0.3.5.8/misc/reduce/reducerc
+share/TeXmacs-0.3.5.8/progs/Init-buffer.scm
+share/TeXmacs-0.3.5.8/progs/Init.scm
+share/TeXmacs-0.3.5.8/progs/boot/general.scm
+share/TeXmacs-0.3.5.8/progs/boot/modify.scm
+share/TeXmacs-0.3.5.8/progs/boot/style.scm
+share/TeXmacs-0.3.5.8/progs/boot/table.scm
+share/TeXmacs-0.3.5.8/progs/cas/convert.scm
+share/TeXmacs-0.3.5.8/progs/cas/gtybalt.scm
+share/TeXmacs-0.3.5.8/progs/cas/macaulay2.scm
+share/TeXmacs-0.3.5.8/progs/cas/mathemagix.scm
+share/TeXmacs-0.3.5.8/progs/cas/maxima.scm
+share/TeXmacs-0.3.5.8/progs/cas/mupad.scm
+share/TeXmacs-0.3.5.8/progs/cas/mycas.scm
+share/TeXmacs-0.3.5.8/progs/cas/pari.scm
+share/TeXmacs-0.3.5.8/progs/cas/reduce.scm
+share/TeXmacs-0.3.5.8/progs/cas/scilab.scm
+share/TeXmacs-0.3.5.8/progs/cas/yacas.scm
+share/TeXmacs-0.3.5.8/progs/fonts/adobe-fonts.scm
+share/TeXmacs-0.3.5.8/progs/fonts/cm-fonts.scm
+share/TeXmacs-0.3.5.8/progs/fonts/ec-fonts.scm
+share/TeXmacs-0.3.5.8/progs/fonts/foreign-fonts.scm
+share/TeXmacs-0.3.5.8/progs/fonts/math-fonts.scm
+share/TeXmacs-0.3.5.8/progs/fonts/misc-fonts.scm
+share/TeXmacs-0.3.5.8/progs/fonts/x-fonts.scm
+share/TeXmacs-0.3.5.8/progs/keyboard/accents.scm
+share/TeXmacs-0.3.5.8/progs/keyboard/emacs.scm
+share/TeXmacs-0.3.5.8/progs/keyboard/keymaps.scm
+share/TeXmacs-0.3.5.8/progs/keyboard/latex.scm
+share/TeXmacs-0.3.5.8/progs/keyboard/russian/cp1251.scm
+share/TeXmacs-0.3.5.8/progs/keyboard/russian/jcuken.scm
+share/TeXmacs-0.3.5.8/progs/keyboard/russian/koi8.scm
+share/TeXmacs-0.3.5.8/progs/keyboard/russian/translit.scm
+share/TeXmacs-0.3.5.8/progs/keyboard/russian/yawerty.scm
+share/TeXmacs-0.3.5.8/progs/keyboard/shorthands.scm
+share/TeXmacs-0.3.5.8/progs/menu/icon-menu.scm
+share/TeXmacs-0.3.5.8/progs/menu/main-menu.scm
+share/TeXmacs-0.3.5.8/progs/menu/symbol-menu.scm
+share/TeXmacs-0.3.5.8/styles/allouche.ts
+share/TeXmacs-0.3.5.8/styles/article.ts
+share/TeXmacs-0.3.5.8/styles/automatic.ts
+share/TeXmacs-0.3.5.8/styles/basic.ts
+share/TeXmacs-0.3.5.8/styles/book.ts
+share/TeXmacs-0.3.5.8/styles/browser.ts
+share/TeXmacs-0.3.5.8/styles/float.ts
+share/TeXmacs-0.3.5.8/styles/help.ts
+share/TeXmacs-0.3.5.8/styles/letter.ts
+share/TeXmacs-0.3.5.8/styles/list.ts
+share/TeXmacs-0.3.5.8/styles/ln.ts
+share/TeXmacs-0.3.5.8/styles/manual.ts
+share/TeXmacs-0.3.5.8/styles/program.ts
+share/TeXmacs-0.3.5.8/styles/project.ts
+share/TeXmacs-0.3.5.8/styles/seminar.ts
+share/TeXmacs-0.3.5.8/styles/theorem.ts
+share/TeXmacs-0.3.5.8/styles/vdh.ts
+share/TeXmacs-0.3.5.8/texts/examples/arg_func.tm
+share/TeXmacs-0.3.5.8/texts/examples/font-test.tm
+share/TeXmacs-0.3.5.8/texts/tutorial/fonts-2.tm
+share/TeXmacs-0.3.5.8/texts/tutorial/fonts-3.tm
+share/TeXmacs-0.3.5.8/texts/tutorial/fonts.tm
+share/TeXmacs-0.3.5.8/texts/tutorial/overview.tm
+@dirrm libexec/TeXmacs-0.3.5.8/bin
+@dirrm libexec/TeXmacs-0.3.5.8/lib
+@dirrm libexec/TeXmacs-0.3.5.8
+@dirrm share/TeXmacs-0.3.5.8/doc/dvi
+@dirrm share/TeXmacs-0.3.5.8/doc/english/help
+@dirrm share/TeXmacs-0.3.5.8/doc/english/projects
+@dirrm share/TeXmacs-0.3.5.8/doc/english/source
+@dirrm share/TeXmacs-0.3.5.8/doc/english/startup
+@dirrm share/TeXmacs-0.3.5.8/doc/english
+@dirrm share/TeXmacs-0.3.5.8/doc/romanian/dvi
+@dirrm share/TeXmacs-0.3.5.8/doc/romanian/help
+@dirrm share/TeXmacs-0.3.5.8/doc/romanian/projects
+@dirrm share/TeXmacs-0.3.5.8/doc/romanian/source
+@dirrm share/TeXmacs-0.3.5.8/doc/romanian
+@dirrm share/TeXmacs-0.3.5.8/doc
+@dirrm share/TeXmacs-0.3.5.8/fonts/enc
+@dirrm share/TeXmacs-0.3.5.8/fonts/error
+@dirrm share/TeXmacs-0.3.5.8/fonts/pk
+@dirrm share/TeXmacs-0.3.5.8/fonts/tfm
+@dirrm share/TeXmacs-0.3.5.8/fonts/virtual
+@dirrm share/TeXmacs-0.3.5.8/fonts
+@dirrm share/TeXmacs-0.3.5.8/langs/mathematical/syntax
+@dirrm share/TeXmacs-0.3.5.8/langs/mathematical
+@dirrm share/TeXmacs-0.3.5.8/langs/natural/dic
+@dirrm share/TeXmacs-0.3.5.8/langs/natural/hyphen
+@dirrm share/TeXmacs-0.3.5.8/langs/natural/miss
+@dirrm share/TeXmacs-0.3.5.8/langs/natural
+@dirrm share/TeXmacs-0.3.5.8/langs/programming
+@dirrm share/TeXmacs-0.3.5.8/langs
+@dirrm share/TeXmacs-0.3.5.8/misc/convert
+@dirrm share/TeXmacs-0.3.5.8/misc/latex
+@dirrm share/TeXmacs-0.3.5.8/misc/maxima
+@dirrm share/TeXmacs-0.3.5.8/misc/mime
+@dirrm share/TeXmacs-0.3.5.8/misc/mupad
+@dirrm share/TeXmacs-0.3.5.8/misc/mycas
+@dirrm share/TeXmacs-0.3.5.8/misc/pixmaps
+@dirrm share/TeXmacs-0.3.5.8/misc/reduce
+@dirrm share/TeXmacs-0.3.5.8/misc/tex
+@dirrm share/TeXmacs-0.3.5.8/misc
+@dirrm share/TeXmacs-0.3.5.8/progs/boot
+@dirrm share/TeXmacs-0.3.5.8/progs/cas
+@dirrm share/TeXmacs-0.3.5.8/progs/examples
+@dirrm share/TeXmacs-0.3.5.8/progs/fonts
+@dirrm share/TeXmacs-0.3.5.8/progs/keyboard/russian
+@dirrm share/TeXmacs-0.3.5.8/progs/keyboard
+@dirrm share/TeXmacs-0.3.5.8/progs/menu
+@dirrm share/TeXmacs-0.3.5.8/progs
+@dirrm share/TeXmacs-0.3.5.8/styles
+@dirrm share/TeXmacs-0.3.5.8/texts/examples
+@dirrm share/TeXmacs-0.3.5.8/texts/tutorial
+@dirrm share/TeXmacs-0.3.5.8/texts
+@dirrm share/TeXmacs-0.3.5.8/