diff config.bat @ 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 827d4eface8f
children a723efe4f841
line wrap: on
line diff