| Title: | Automated Reasoning Tool |
| Moderator: | INSANE::SYSTEM |
| Created: | Thu May 08 1986 |
| Last Modified: | Thu Jul 15 1993 |
| Last Successful Update: | Fri Jun 06 1997 |
| Number of topics: | 36 |
| Total number of notes: | 106 |
| T.R | Title | User | Personal Name | Date | Lines |
|---|---|---|---|---|---|
| 14.1 | First bug list | CONS::GUEST | Wed Feb 04 1987 15:24 | 63 | |
| 14.2 | Volume Two | MYKENE::WINN | Geoff Winn @ USH F/1 | Tue Feb 17 1987 09:19 | 33 |
| 14.3 | Benchmark | TKOV58::MIMOMI | Fujio Mimomi AI/SWS/TOKYO/JAPAN | Thu Feb 19 1987 22:54 | 222 |
| 14.4 | Re:.2 GNUEmacs is alive and well. | WHAT::BIRKHOLZ | An Experimental PDP Network | Mon Feb 23 1987 11:18 | 8 |
| 14.5 | Object Oriented Bug | MYKENE::WINN | Geoff Winn @ USH F/1 | Fri Feb 27 1987 06:08 | 21 |
| 14.6 | customer report | SUOAI::KRAMER | Tue Mar 03 1987 06:26 | 64 | |
| 14.7 | Banner is the pig | SUOAI::KRAMER | Mon Mar 23 1987 11:00 | 8 | |
| 14.8 | GNUEmacs kit | SUOAI::KRAMER | Mon Mar 23 1987 12:38 | 9 | |
| 14.9 | ART GNUEmacs ? | TKOV58::TAKESHIMA | TOKYO SS60 A.Take | Thu Apr 02 1987 10:39 | 11 |
| 14.10 | statistics | TKOV58::MIMOMI | Fujio Mimomi Tokyo/SWS/AI | Wed May 27 1987 12:50 | 15 |