Sun, 01 Oct 2006 15:45:16 +0000 |
Vinicius Jose Latorre |
fix doc
|
Sat, 30 Sep 2006 21:20:20 +0000 |
Richard M. Stallman |
*** empty log message ***
|
Sat, 30 Sep 2006 21:07:21 +0000 |
Karl Berry |
improve more page breaks
|
Sat, 30 Sep 2006 17:58:29 +0000 |
Chong Yidong |
* PROBLEMS: Document Emacs/XIM/gnome-settings-terminal clash.
|
Sat, 30 Sep 2006 15:46:00 +0000 |
Chong Yidong |
Fixed "Martin Rudalics Sep 28: widget-move-and-invoke scrolls spuriously."
|
Sat, 30 Sep 2006 15:45:35 +0000 |
Chong Yidong |
* wid-edit.el (widget-button-click-moves-point): New variable.
|
Sat, 30 Sep 2006 10:03:11 +0000 |
Eli Zaretskii |
*** empty log message ***
|
Sat, 30 Sep 2006 10:02:22 +0000 |
Eli Zaretskii |
(find-file-existing): Modified to not allow wildcards.
|
Sat, 30 Sep 2006 09:50:07 +0000 |
Eli Zaretskii |
*** empty log message ***
|
Sat, 30 Sep 2006 09:49:26 +0000 |
Eli Zaretskii |
(undo-more): When undo information for the region is exhausted, say
|
Sat, 30 Sep 2006 09:39:35 +0000 |
Eli Zaretskii |
*** empty log message ***
|
Sat, 30 Sep 2006 09:38:45 +0000 |
Eli Zaretskii |
(sh-prev-thing): Take `sh-leading-keywords' into account.
|
Sat, 30 Sep 2006 09:22:41 +0000 |
Eli Zaretskii |
Add blessmail.
|
Sat, 30 Sep 2006 09:18:23 +0000 |
Eli Zaretskii |
Fix a typo.
|
Sat, 30 Sep 2006 09:11:56 +0000 |
Eli Zaretskii |
configure
|
Sat, 30 Sep 2006 09:11:23 +0000 |
Eli Zaretskii |
Regenerated.
|
Sat, 30 Sep 2006 01:32:47 +0000 |
Glenn Morris |
(Date Formats): Doc fix for european-calendar-style.
|
Sat, 30 Sep 2006 01:32:36 +0000 |
Glenn Morris |
*** empty log message ***
|
Sat, 30 Sep 2006 01:25:25 +0000 |
Glenn Morris |
(european-calendar-style): Tweak previous fix.
|
Sat, 30 Sep 2006 00:45:32 +0000 |
Glenn Morris |
(defcustom): Doc fix.
|
Sat, 30 Sep 2006 00:35:50 +0000 |
Karl Berry |
improve page/line breaks
|
Sat, 30 Sep 2006 00:35:15 +0000 |
Karl Berry |
update to latest texinfo.tex
|
Sat, 30 Sep 2006 00:23:17 +0000 |
Glenn Morris |
*** empty log message ***
|
Sat, 30 Sep 2006 00:20:16 +0000 |
Glenn Morris |
(european-calendar-style): Call european-calendar or american-calendar
|