> > "\e[A": history-search-backward > > "\e[B": history-search-forward > > (and probably similar for Ctrl-r and Ctrl-n). > > Does that mean there already is a home cooked history search like > "reverse-search-history" in gap that I could use? How would I do that? > Section 6.8 doesn't mention it (and also not Ctrl-R by the way).
In GAP it works this way: Enter the beginning of the line you search and press up. Cheers, Bill. _______________________________________________ Forum mailing list Forum@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum