| Wed, 08 May 1996 02:22:12 +0000 |
Karl Fogel |
(bookmark-make): take optional arg `info-node', pass it on to
|
| Wed, 08 May 1996 00:52:30 +0000 |
Noah Friedman |
(rlogin): Call rlogin-mode after adding rlogin-carriage-filter to output
|
| Wed, 08 May 1996 00:04:11 +0000 |
Richard M. Stallman |
(enum scroll_bar_part): Delete extra comma.
|
| Tue, 07 May 1996 18:55:40 +0000 |
Richard M. Stallman |
(Fencode_time): Accept MANY args, so as to cope
|
| Tue, 07 May 1996 05:55:11 +0000 |
Richard M. Stallman |
(gulp-search-path, gulp-packages): Variable deleted.
|
| Tue, 07 May 1996 00:55:56 +0000 |
Richard M. Stallman |
Initial revision
|
| Tue, 07 May 1996 00:51:23 +0000 |
Richard M. Stallman |
(Info-enable-active-nodes): Default to nil. Mark it risky.
|
