lib(cgi)

   Some utilities for writing cgi scripts with ECLiPSe

