diff man/reftex.texi @ 26284:6de035f92990

Many doc fixes.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 01 Nov 1999 15:27:43 +0000
parents ac7e9e5e2ccb
children d7f536a01276
line wrap: on
line diff