log src/m/sequent.h @ 1074:227f23e8b44c

age author description
2007-08-13 cvs Import from CVS: tag r21-2-36 r21-2-36
2007-08-13 cvs Import from CVS: tag r21-2-14 r21-2-14
2007-08-13 cvs Import from CVS: tag r21-2-35 r21-2-35
2007-08-13 cvs Import from CVS: tag r21-2-30 r21-2-30
2007-08-13 cvs Import from CVS: tag r19-14 r19-14