log

age author description
Fri, 30 May 1997 05:30:58 +0000 Richard M. Stallman (he-dabbrev-skip-space, he-dabbrev-as-symbol):
Fri, 30 May 1997 05:15:48 +0000 Richard M. Stallman (search-highlight): Make it t by default.
Fri, 30 May 1997 05:13:47 +0000 Richard M. Stallman (x_real_positions): Subtract border width from results.