/digits.dlog/1.1.1.1/Sun Mar  5 06:39:52 2000//
/docopts.dlog/1.1.1.1/Sun Mar  5 06:39:52 2000//
/prefs.dlog/1.1.1.1/Sun Mar  5 06:39:52 2000//
D
