Index of /pub/Otter

	Name	Last modified	Size	Description
	Parent Directory		-
	33-basic/	1997-10-29 13:30	-
	AAR28-challenge/	1995-02-17 16:13	-
	DOSOT304.EXE	1995-08-26 18:18	657K
	DOSOT304.TXT	1995-08-26 18:21	1.5K
	LT-WAL/	1995-03-06 15:33	-
	MACOT304.HQX	1995-09-18 12:23	487K
	MACOT304.TXT	1995-09-18 12:23	560
	Otter-Changelog	1998-02-19 16:18	22K
	Papers/	2000-11-27 16:43	-
	QED/	1995-04-03 15:30	-
	README	2001-08-13 14:38	2.6K
	RP/	1998-08-24 07:51	-
	Sands/	1996-06-06 16:13	-
	Slides/	1998-10-16 11:08	-
	eqp-09c.tar.gz	1997-10-29 16:38	113K
	eqp-09d.tar.gz	1999-04-02 14:54	113K
	index.tar.Z	1992-09-15 13:39	359K
	mace-1.2.0.tar.Z	1995-08-16 20:54	129K
	mace-1.3.3.tar.gz	1998-12-07 15:59	127K
	mace-1.3.4.tar.gz	2000-04-12 17:00	78K
	misc/	1998-09-17 15:30	-
	old_stuff/	1995-09-24 21:53	-
	otter-3.0.4.tar.Z	1995-09-24 21:41	876K
	otter-3.0.5.tar.Z	1998-02-19 16:16	1.0M
	otter-3.0.6.tar.gz	2000-04-13 14:24	746K
	otter-emacs.tar.gz	1996-04-29 14:08	9.0K
	otter-mode11.tar.gz	1996-07-12 13:17	15K
	otter.tar.Z	1998-02-19 16:16	1.0M
	otter98.desc	2000-04-12 17:09	674
	otter304-win95.zip	1996-12-12 15:22	117K
	otter305-win98.zip	2000-04-12 17:09	125K
	otter_jobs.tar.Z	1992-10-15 09:27	100K
	otterface-0.1.tar.Z	1994-08-26 16:27	185K
	pc-1.0.tar.gz	1997-04-23 16:16	65K
	pc-1.0.txt	1998-06-10 22:05	10K
	prf_disp.tar.Z	1994-06-17 16:01	34K
	www-misc/	2001-12-12 14:30	-