Admin/profiling_report
2005-08-02 wenzelm 2005-08-02 tuned;
2005-07-15 wenzelm 2005-07-15 tuned;
2005-07-06 wenzelm 2005-07-06 tuned;
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.