Tue, 23 Oct 2007 06:59:41 +0000 |
Glenn Morris |
*** empty log message ***
|
Tue, 23 Oct 2007 06:51:21 +0000 |
Glenn Morris |
*** empty log message ***
|
Tue, 23 Oct 2007 00:48:34 +0000 |
Stefan Monnier |
(tex-uptodate-p): Don't signal an error if one
|
Mon, 22 Oct 2007 07:40:12 +0000 |
Glenn Morris |
*** empty log message ***
|
Mon, 22 Oct 2007 04:42:10 +0000 |
Stefan Monnier |
(tpu-edt-old-global-values): New var.
|
Mon, 22 Oct 2007 04:26:47 +0000 |
Stefan Monnier |
(msb-menu-bar-update-buffers): Use global-buffers-menu-map.
|
Mon, 22 Oct 2007 04:10:04 +0000 |
Stefan Monnier |
(global-buffers-menu-map): New var.
|