Index of /pub/Otter/


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