diff man/anti.texi @ 66154:cdd77b8367b9

(tex-font-lock-keywords-2): Undo prev change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 17 Oct 2005 16:23:28 +0000
parents 3723093a21fd
children 142b6109f5b7 2d92f5c9d6ae
line wrap: on
line diff