Document `prettify-symbols-mode' and `global-prettify-symbols-mode'.
commit4f07dcdce61f54524a8efe63493e5db6e605dd2d
authorXue Fuqiao <xfq@gnu.org>
Fri, 28 Feb 2014 03:04:12 +0000 (28 11:04 +0800)
committerXue Fuqiao <xfq@gnu.org>
Fri, 28 Feb 2014 03:04:12 +0000 (28 11:04 +0800)
tree8a08b2f15e0607e108b70758734bb35171342277
parent0a4d25e5d249d35a08959a2775229fef804e9edc
parent0fcfa97418aa7e7fa42887507e25b9bdf150cc66
Document `prettify-symbols-mode' and `global-prettify-symbols-mode'.

* doc/emacs/emacs.texi (Top):
* doc/emacs/programs.texi (Programs, Prettifying Symbols):
Document `prettify-symbols-mode' and `global-prettify-symbols-mode'.

* etc/NEWS: Markup changes.
doc/emacs/ChangeLog
doc/emacs/emacs.texi
doc/emacs/programs.texi
etc/NEWS