diff move-if-change @ 27601:225cd305a20e

(reftex-compile-variables): regexp-quote the environment names before they go into the section regexp.
author Carsten Dominik <dominik@science.uva.nl>
date Fri, 04 Feb 2000 10:01:08 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff