/README/1.1/Wed Aug 18 20:34:56 1993//
/fixfort/1.2/Wed Nov  2 19:56:29 1994//
/htdocs-replace.sh/1.1/Thu Oct 25 21:40:37 2001//
/mktclIndex/1.3/Fri Jan 12 19:20:18 2001//
/plm2gif/1.2/Wed Jan 11 19:43:53 1995//
/plpr/1.3/Fri Sep 23 07:52:33 1994//
/pstex2eps/1.3/Wed May  9 22:41:33 2001/-kk/
D
