Sun, 07 May 2006 20:49:01 +0000 |
Kim F. Storm |
(add-to-history): Remove keep-dups arg.
|
Sun, 07 May 2006 19:39:28 +0000 |
Jan Dj¸«£rv |
* xresmini.texi (GTK resources): Inserted GTK description.
|
Sun, 07 May 2006 19:38:49 +0000 |
Jan Dj¸«£rv |
Added GTK part
|
Sun, 07 May 2006 19:32:49 +0000 |
Jan Dj¸«£rv |
* xresources.texi (GTK resources): metafont should be menufont.
|
Sun, 07 May 2006 19:32:13 +0000 |
Jan Dj¸«£rv |
Minor fix.
|
Sun, 07 May 2006 17:08:48 +0000 |
Romain Francoise |
(Replacing text across multiple files): Expand node to explain how
|
Sun, 07 May 2006 16:02:27 +0000 |
Romain Francoise |
* commands.texi (Event Input Misc):
|
Sun, 07 May 2006 14:11:05 +0000 |
Stefan Monnier |
(syntax-ppss): Flush the cache before rather than after a buffer modification.
|