Thu, 03 Jul 1997 22:16:37 +0000 |
John Gilmore |
fixed bad @node Next reference -len
|
Thu, 03 Jul 1997 20:53:32 +0000 |
Richard M. Stallman |
("Japanese"): List iso-2022-7bit coding system instead of japanese-iso-7bit.
|
Thu, 03 Jul 1997 20:03:04 +0000 |
Richard M. Stallman |
(delete-selection-mode): Doc fix.
|
Thu, 03 Jul 1997 19:07:26 +0000 |
Richard M. Stallman |
(gnus-group-set-mode-line):
|
Thu, 03 Jul 1997 07:21:22 +0000 |
Richard M. Stallman |
Fix previous change.
|
Thu, 03 Jul 1997 07:12:19 +0000 |
Richard M. Stallman |
(custom-face-attributes): Use editable-color widget.
|
Thu, 03 Jul 1997 07:11:10 +0000 |
Richard M. Stallman |
(color-sample, editable-color): New widget types.
|