diff man/reftex.texi @ 39571:9b87a63bcb36

(Variable Aliases): New node.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 05 Oct 2001 09:38:43 +0000
parents a8c0a02f6129
children 421e0a91a1d1
line wrap: on
line diff