/Convex.notes/1.1.1.2/Mon Jun 28 16:01:19 1999/-ko/
/convex.mh/1.1.1.2/Mon Jun 28 16:01:20 1999/-ko/
/convex.mt/1.1.1.2/Mon Jun 28 16:01:21 1999/-ko/
/tm-convex.h/1.1.1.5/Wed Jul  7 20:12:11 1999/-ko/
/xm-convex.h/1.1.1.2/Mon Jun 28 16:01:24 1999/-ko/
D
