[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Things nobody will EVER complain about but aren't hard to fix
- To: (BUG ZWEI) at MIT-AI
- Subject: Things nobody will EVER complain about but aren't hard to fix
- From: DLW at MIT-AI (Daniel L. Weinreb)
- Date: Fri ,11 Jul 80 04:15:00 EDT
PL1-INDING-STYLE should be a regular ZWEI option, not a DEFVAR.