Admin/isatest-stats
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.