Tue, 15 Dec 2009 03:07:30 +0000 |
Glenn Morris |
Update comments for edt doc changes.
|
Tue, 15 Dec 2009 03:04:30 +0000 |
Glenn Morris |
(Default keypad): Remove commented out node, which is just a duplicate
|
Tue, 15 Dec 2009 03:03:26 +0000 |
Glenn Morris |
Add EDT entry.
|
Tue, 15 Dec 2009 03:02:42 +0000 |
Glenn Morris |
(INFO_FILES): Add edt.
|
Tue, 15 Dec 2009 03:01:20 +0000 |
Glenn Morris |
(INFO_TARGETS, DVI_TARGETS): Add edt.
|
Tue, 15 Dec 2009 03:00:30 +0000 |
Glenn Morris |
New file (etc/edt-user.doc converted to Texinfo).
|
Tue, 15 Dec 2009 02:58:44 +0000 |
Glenn Morris |
Split into edt-user.el and ../doc/misc/edt.texi, and remove.
|
Tue, 15 Dec 2009 02:58:26 +0000 |
Glenn Morris |
New file, split out from edt-user.doc.
|