isabelle: File revisions

Admin/isatest/isatest-statistics

2012-10-19	wenzelm	proper find -mtime (file data) instead of -ctime (meta data);	file \| diff \| annotate
2011-08-13	kleing	point isatest-statistics to the right afp log files	file \| diff \| annotate
2010-07-27	wenzelm	more precise stats;	file \| diff \| annotate
2010-05-28	wenzelm	discontinued Sun/Solaris tests;	file \| diff \| annotate
2009-10-27	wenzelm	reactivated sun-poly, as parallel test;	file \| diff \| annotate
2009-06-15	wenzelm	more parallel stats;	file \| diff \| annotate
2009-01-10	wenzelm	slightly more robust matching of session name;	file \| diff \| annotate
2008-10-02	wenzelm	include factor in timing report;	file \| diff \| annotate
2007-11-27	wenzelm	tuned titles;	file \| diff \| annotate
2007-11-27	wenzelm	moved titles;	file \| diff \| annotate
2007-11-27	wenzelm	tuned title;	file \| diff \| annotate
2007-11-27	wenzelm	tuned titles;	file \| diff \| annotate
2007-11-21	wenzelm	include elapsed time for parallel sessions;	file \| diff \| annotate
2007-10-04	wenzelm	cover AFP logs as well, using "afp" pseudo-platform;	file \| diff \| annotate
2007-03-05	kleing	moved all isatest/cron job related files to own directory	file \| diff \| annotate

isabelle