/krige.pvm.R/1.5/Fri Jun  1 15:56:17 2001//
/krigefuns.R/1.3/Fri Apr 20 14:09:30 2001//
/pvmkrige.R/1.1/Sat Jul  1 16:35:32 2000//
/zzz.R/1.2/Sat Jul  1 16:35:32 2000//
D
