PLOGHELP LIBSUM renamed PLOGHELP * LIBRARIES        Oct 1986
