diff make-dist @ 13248:a7e83f7eb499

(tex-start-of-header): Now a regexp. (tex-end-of-header): Likewise. (plain-tex-mode, latex-mode, slitex-mode, tex-region): Changed accordingly.
author Richard M. Stallman <rms@gnu.org>
date Thu, 19 Oct 1995 00:48:12 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff