diff man/reftex.texi @ 46284:36c70758a8d7

(SPECPDL_INDEX): Rename from BINDING_STACK_SIZE. All callers updated.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 10 Jul 2002 08:41:28 +0000
parents 2406cf2da1d4
children 9569bac241a3
line wrap: on
line diff