/armfpe.s/1.6/Wed Jul  9 19:39:49 1997//
/armfpe.h/1.8/Mon Feb 23 12:12:38 1998//
/armfpe_glue.S/1.12/Thu Apr  2 12:19:27 1998//
/armfpe_init.c/1.16/Sat May  2 11:12:40 1998//
D
