| Tue, 02 Jun 1998 06:55:39 +0000 |
Karl Heuer |
(Info-exit): Use quit-window.
|
| Fri, 15 May 1998 04:05:56 +0000 |
Richard M. Stallman |
(Info-find-node): Use info-file-exists-p
|
| Sun, 03 May 1998 00:02:10 +0000 |
Richard M. Stallman |
(Info-up): New arg SAME-FILE: don't move to different file.
|
| Tue, 28 Apr 1998 18:13:00 +0000 |
Dave Love |
(Info-mode): Doc fix.
|
| Wed, 22 Apr 1998 03:19:43 +0000 |
Richard M. Stallman |
(Info-fontify-node): For menu items, use info-xref font.
|
| Sat, 18 Apr 1998 01:57:45 +0000 |
Richard M. Stallman |
(Info-menu): Allow extra spaces at start of menu item.
|
| Tue, 17 Mar 1998 06:29:50 +0000 |
Richard M. Stallman |
(Info-menu-update): Set Info-menu-last-node
|
