Tue, 01 Sep 2009 16:26:23 +0000 |
Glenn Morris |
Mark face aliases with "-face" suffix as obsolete.
|
Tue, 01 Sep 2009 16:17:53 +0000 |
Glenn Morris |
Mark face aliases with "-face" suffix as obsolete.
|
Tue, 01 Sep 2009 10:16:44 +0000 |
Nick Roberts |
*** empty log message ***
|
Tue, 01 Sep 2009 07:46:01 +0000 |
Glenn Morris |
(texinfo-heading-face): Mark face aliases with "-face" suffix as obsolete.
|
Tue, 01 Sep 2009 07:24:13 +0000 |
Glenn Morris |
Mark face aliases with "-face" suffix as obsolete.
|
Tue, 01 Sep 2009 03:27:52 +0000 |
Glenn Morris |
*** empty log message ***
|
Tue, 01 Sep 2009 03:18:44 +0000 |
Glenn Morris |
Use forward-line rather than goto-line.
|