lib(profile)

   Profiling package for ECLiPSe programs

