Mon, 05 May 1997 19:55:17 +0000 |
Richard M. Stallman |
(mouse-sel-get-selection-function):
|
Mon, 05 May 1997 19:53:46 +0000 |
Richard M. Stallman |
Comment change.
|
Mon, 05 May 1997 19:16:09 +0000 |
Richard M. Stallman |
(x_set_mouse_color): Fix previous change.
|
Mon, 05 May 1997 19:14:27 +0000 |
Richard M. Stallman |
(x_reply_selection_request): Delete the inner
|
Mon, 05 May 1997 17:54:28 +0000 |
Richard M. Stallman |
(cal-menu-list-holidays-following-year)
|
Mon, 05 May 1997 17:06:10 +0000 |
Richard M. Stallman |
Doc fix.
|
Mon, 05 May 1997 15:06:25 +0000 |
Richard M. Stallman |
Use defcustom.
|