Admin/isatest-stats
2006-11-04 wenzelm 2006-11-04 optional argument for timespan (default 100);
2006-11-04 wenzelm 2006-11-04 added at-mac-poly-e, at64-poly-e;
2006-09-22 wenzelm 2006-09-22 added HOL-Complex-ex;
2006-09-20 wenzelm 2006-09-20 added ZF-UNITY;
2006-09-19 wenzelm 2006-09-19 tuned;
2006-09-19 wenzelm 2006-09-19 tuned;
2006-09-19 wenzelm 2006-09-19 simple html output;
2006-09-19 wenzelm 2006-09-19 timespan: 100 days;
2006-09-19 wenzelm 2006-09-19 tuned;
2006-09-19 wenzelm 2006-09-19 Standard statistics.