]> git.eshelyaron.com Git - emacs.git/commit
Doc tweaks re prettify-symbols-mode
authorGlenn Morris <rgm@gnu.org>
Sat, 7 Jun 2014 23:39:40 +0000 (16:39 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 7 Jun 2014 23:39:40 +0000 (16:39 -0700)
commitbc257cae1cf60239ff79bc052483542d267d1cf5
tree40b3c934cecd92abf1c620dba20ca7d9374796b2
parenta0e26ff003c14925278c5bf5939615a4ccd0ac29
Doc tweaks re prettify-symbols-mode

* doc/emacs/programs.texi (Prettifying Symbols): Remove node.
(Misc for Programs): Mention more briefly here.

* doc/emacs emacs.texi (Top): Update menu.
doc/emacs/ChangeLog
doc/emacs/emacs.texi
doc/emacs/programs.texi