[no subject]

[RG@MIT-AI]

  IN C-R TYPE SEARCH (REVERSE INCREMENTAL), TYPING ANOTHER C-R DOES
NOT FIND THE PREVIOUS INSTANCE OF THE STRING SO FAR, INSTEAD IT
JUST FINDS THE CURRENT INSTANCE AGAIN.