Index of /TeXmacs/misc

	Name	Last modified	Size	Description
	Parent Directory		-
	walter.tiff	2008-06-15 15:30	246K
	mycas-demo.tar.gz	2003-02-19 18:21	2.2K
	logo_texmacs.ps	2005-03-29 22:29	108K
	logo_springer.ps	2005-03-29 22:29	53K
	guile.patch	2008-12-12 12:03	2.4K
	derive_walter.tiff	2008-06-15 15:30	189K
	cover.tm	2005-03-29 22:30	1.6K
	bprnew.ts	2005-03-29 21:38	9.5K
	big.tm	2009-12-09 10:45	541K
	bench.tar.gz	2002-07-04 17:37	416K
	TeXmacs-1.99.16-inst..>	2020-12-02 16:58	119M
	TeXmacs-1.99.16-inst..>	2020-12-02 17:41	129M
	TeXmacs-1.99.16-inst..>	2020-12-03 12:33	119M
	TeXmacs-1.0.0.17-mis..>	2002-09-14 10:14	48K
	TeXmacs-1.0-misc.tar.gz	2002-03-12 19:35	117K
	Source-doc.tar.gz	2002-03-12 17:35	28K
	LP4TeXmacs-0.1.tar.gz	2007-05-20 19:06	8.1K
	Chazy.png	2007-12-14 17:39	177K
	Blasius.png	2007-12-14 17:18	211K