Admin/profiling_report
2005-07-05 wenzelm 2005-07-05 fixed regexp grouping;
2005-07-02 wenzelm 2005-07-02 Simple report generator for Poly/ML profiling output.