Mon, 08 Oct 2001 07:43:23 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Mon, 08 Oct 2001 07:42:49 +0000 |
Gerd Moellmann |
(BASE_PURESIZE): Increase to 725000.
|
Mon, 08 Oct 2001 06:58:32 +0000 |
Miles Bader |
*** empty log message ***
|
Mon, 08 Oct 2001 06:54:07 +0000 |
Miles Bader |
(apropos-symbol): Add `skip' property.
|
Mon, 08 Oct 2001 06:52:24 +0000 |
Miles Bader |
(button-activate): USE-MOUSE-ACTION is optional.
|
Mon, 08 Oct 2001 06:45:26 +0000 |
Pavel Jank |
*** empty log message ***
|
Mon, 08 Oct 2001 06:37:59 +0000 |
Pavel Jank |
*** empty log message ***
|
Mon, 08 Oct 2001 06:33:56 +0000 |
Pavel Jank |
*** empty log message ***
|