diff lispref/vol1.texi @ 65706:183bad3fad1f

(tex-insert-quote, latex-indent): Quote face names.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 26 Sep 2005 09:47:11 +0000
parents e836425ee789
children 067115a6e738 2d92f5c9d6ae
line wrap: on
line diff