diff src/m/sequent.h @ 22694:a2f15d33df57

(texinfo-environment-regexp): Add smalldisplay and smallformat.
author Richard M. Stallman <rms@gnu.org>
date Mon, 06 Jul 1998 00:07:54 +0000
parents ee40177f6c68
children 4be8406ebef9
line wrap: on
line diff