[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Incremental search
- To: (BUG ZWEI) at MIT-AI
- Subject: Re: Incremental search
- From: HIC@MIT-AI
- Date: Tue ,2 Jul 80 05:26:57 EDT
Please make incremental search push on the mark pdl correctly. You
have known about this bug for a long time. I know you don't
like to admit that there are people who use incremental search, but....