diff man/reftex.texi @ 71313:c4480c1636df

New keys for clocking work, Changed keys for export.
author Carsten Dominik <dominik@science.uva.nl>
date Sat, 10 Jun 2006 14:17:55 +0000
parents b7261e09f8e4
children 7637a6a23f0f a8190f7e546e
line wrap: on
line diff