lib(document)

   Tools for generating documentation from ECLiPSe sources

