Joris van der Hoeven 21657c0d8a Remove obsolete		2011-08-29 13:57:25 +00:00
..
feynmf	Rename	2011-08-28 20:36:27 +00:00
general	Rename	2011-08-28 20:17:59 +00:00
ghostscript	Rename	2011-08-28 20:17:59 +00:00
gnuplot	Rename	2011-08-28 20:17:59 +00:00
guile	Rename	2011-08-28 20:17:59 +00:00
macaulay2	Rename	2011-08-28 20:36:27 +00:00
maxima	Rename	2011-08-28 20:36:27 +00:00
octave	Rename	2011-08-28 20:36:27 +00:00
qcl	Rename	2011-08-28 20:36:27 +00:00
r	Rename	2011-08-28 20:36:27 +00:00
tex	Rename	2011-08-28 20:17:59 +00:00
xfig	Rename	2011-08-28 20:17:59 +00:00
yacas	Rename	2011-08-28 20:36:27 +00:00