Index of /~mccune/old-ftp

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