| Wed, 26 Jun 2002 13:11:12 +0000 |
Juanma Barranquero |
(info-menu-5): Fix documentation.
|
| Wed, 12 Jun 2002 15:50:15 +0000 |
Richard M. Stallman |
(Info-fontify-node): Compute header line specially
|
| Wed, 12 Jun 2002 12:20:17 +0000 |
Richard M. Stallman |
(Info-select-node): Turn header line on or off here.
|
| Wed, 12 Jun 2002 04:56:05 +0000 |
Colin Walters |
Update copyright date.
|
| Wed, 12 Jun 2002 04:55:21 +0000 |
Colin Walters |
(Info-mode): Don't set `font-lock-defaults'.
|
| Sun, 09 Jun 2002 00:18:15 +0000 |
Colin Walters |
(Info-mode): Do set `font-lock-defaults', and be sure to set
|
| Sat, 08 Jun 2002 20:43:25 +0000 |
Colin Walters |
(Info-mode): Don't set up categories.
|
| Mon, 03 Jun 2002 22:57:40 +0000 |
Richard M. Stallman |
(Info-extract-pointer): Ignore Info-header-line.
|
| Wed, 29 May 2002 16:35:56 +0000 |
Richard M. Stallman |
(Info-setup-header-line): Don't hide the links line.
|
| Thu, 23 May 2002 03:39:20 +0000 |
Colin Walters |
(Info-mode-hook): Change `font-lock-mode' to `turn-on-font-lock'.
|
| Tue, 21 May 2002 22:22:10 +0000 |
Colin Walters |
(Info-fontify): Deleted.
|
| Wed, 08 May 2002 14:38:30 +0000 |
Pavel Jank |
(Info-mode-map): Bind `c' to Info-copy-current-node-name.
|
| Tue, 30 Apr 2002 02:08:56 +0000 |
Stefan Monnier |
(Info-find-in-tag-table-1, Info-read-subfile): Use point-min.
|
| Sat, 27 Apr 2002 20:16:09 +0000 |
Richard M. Stallman |
(Info-header-line): Mark it as risky-local-variable.
|
