Index of /support/TeXmacs

	Name	Last modified	Size
	Parent Directory		-
	TeXmacs-extra-fonts-1.0-noarch.tar.gz	2009-04-20 01:50	5.1M
	TeXmacs-1.0.7.20.dmg	2013-09-24 08:34	28M
	TeXmacs-1.0.7.20-x11-i386-pc-linux-gnu.tar.gz	2013-09-20 10:14	20M
	TeXmacs-1.0.7.20-src.tar.gz	2013-09-20 10:13	18M
	TeXmacs-1.0.7.20-installer.exe	2013-09-23 07:39	38M
	TeXmacs-1.0.7.20-1.i386.rpm	2013-09-20 10:15	19M
	README	2001-12-14 03:19	1.5K