Index of /pub/Otter

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