/fold-docu.el/1.2/Tue Jul 22 13:41:32 1997//
/folding.el/1.1/Tue Jul 22 13:27:58 1997//
/install-sh/1.1/Fri Jun 27 08:26:53 1997//
/makeheader/1.1/Fri Jun 27 08:32:07 1997//
/makeheader.pl/1.3/Tue Dec  9 10:57:19 1997//
/mkinstalldirs/1.1/Fri Jun 27 08:34:47 1997//
D
