[AUCTeX-devel] prettify-symbols-mode and the documentation.

Hi Maybe after some days of testing we should add an entry to the feature list, http://www.gnu.org/software/auctex/features.html describing the new feature? Uwe Brauer ___ auctex-devel mailing list auctex-devel@gnu.org

Re: [AUCTeX-devel] prettify-symbols-mode and the documentation.

Hi Uwe, 2015-09-02 17:49 GMT+02:00 Uwe Brauer : > Hi > > Maybe after some days of testing we should add an entry to the feature > list, http://www.gnu.org/software/auctex/features.html > describing the new feature? That makes sense, but we should release the new version of