diff man/reftex.texi @ 80894:47f2f1844e89

(dabbrev-eliminate-newlines): Renamed from dabbrev--eliminate-newlines. All uses changed.
author Richard M. Stallman <rms@gnu.org>
date Thu, 10 May 2007 14:46:52 +0000
parents 88224dc74061
children 02b9a9aa5b0c e6fdae9180d4
line wrap: on
line diff