diff etc/DISTRIB @ 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 6b5aacec5ace
children 1e525e729760
line wrap: on
line diff