/doinst/1.1.1.1/Tue Apr 18 03:55:20 2000//
/dotty.c/1.1.1.1/Tue Apr 18 03:55:20 2000//
/dotty.mak/1.1.1.1/Tue Apr 18 03:55:20 2000//
D
