/dtplite.man/1.2/Thu Jul 22 08:06:32 2004//
/dtplite/1.5/Tue Feb 15 07:04:35 2005//
/tcldocstrip/1.1/Tue Apr  5 06:36:19 2005//
/tcldocstrip.man/1.1/Tue Apr  5 06:36:19 2005//
/page/1.1/Wed Sep 28 04:51:19 2005//
/page.man/1.1/Wed Sep 28 04:51:19 2005//
D
