![]() | 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 | - | |