/20000419-2.c/1.1/Wed Jan 10 04:19:31 2001//
/alias-1.c/1.3/Tue May 23 19:30:44 2000//
/alias-2.c/1.1/Sun Mar 31 11:50:42 2002//
/ecos.exp/1.10/Sun Mar 31 11:50:43 2002//
/gcsec-1.c/1.3/Tue May 23 19:30:44 2000//
/special.exp/1.1/Wed Jan 10 04:19:31 2001//
/weak-1.c/1.3/Tue May 23 19:30:44 2000//
/weak-1a.c/1.2/Sat Sep  4 15:09:15 1999//
/weak-2.c/1.3/Tue May 23 19:30:44 2000//
/weak-2a.c/1.2/Sat Sep  4 15:09:15 1999//
/weak-2b.c/1.2/Sat Sep  4 15:09:15 1999//
/wkali-1.c/1.3/Tue May 23 19:30:44 2000//
/wkali-2.c/1.3/Tue May 23 19:30:44 2000//
/wkali-2a.c/1.2/Sat Sep  4 15:09:15 1999//
/wkali-2b.c/1.2/Sat Sep  4 15:09:15 1999//
D
