/Makefile/1.17/Fri Jun 29 17:08:14 2001//
/savecore.8/1.12/Thu Nov  9 17:53:06 2000//
/savecore.c/1.31/Wed Jul  3 22:32:33 2002//
D
