diff etc/ps-prin3.ps @ 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 e0beb5cd0257
children 16202d8d02cf
line wrap: on
line diff