diff man/reftex.texi @ 51827:8f62ae8e410c

(report_overlay_modification): Don't run hooks while traversing the list of overlays.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 08 Jul 2003 22:09:23 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff