| Sat, 24 Jul 1993 17:35:02 +0000 |
Richard M. Stallman |
(Info-select-node): Run Info-selection-hook.
|
| Sat, 19 Jun 1993 21:48:16 +0000 |
Jim Blandy |
Sat Jun 19 17:47:40 1993 Jim Blandy (jimb@wookumz.gnu.ai.mit.edu)
|
| Sat, 19 Jun 1993 20:18:05 +0000 |
Richard M. Stallman |
(Info-insert-dir): Record file attributes of files used.
|
| Tue, 08 Jun 1993 04:41:00 +0000 |
Richard M. Stallman |
(Info-follow-reference): Fix completion defaulting.
|
| Thu, 03 Jun 1993 17:37:18 +0000 |
Richard M. Stallman |
(Info-mode-map): Bind mouse-2, not mouse-3.
|
| Thu, 03 Jun 1993 03:54:55 +0000 |
Richard M. Stallman |
(Info-suffix-list): Handle .gz suffix.
|
| Mon, 31 May 1993 17:56:14 +0000 |
Richard M. Stallman |
(Info-get-token): Check that thesecond search succeeded.
|
