diff man/sc.texi @ 46612:7522419c4db0

Updated to reftex 4.17
author Carsten Dominik <dominik@science.uva.nl>
date Mon, 22 Jul 2002 10:36:26 +0000
parents a8c0a02f6129
children 82d113655734
line wrap: on
line diff