diff src/m/sequent.h @ 1359:96c43cee31f1

CP:: changed to cust-print- in all names. Lots of doc fixes.
author Richard M. Stallman <rms@gnu.org>
date Wed, 07 Oct 1992 09:09:19 +0000
parents 1ffd52c765c7
children 7be0f0a02725
line wrap: on
line diff