Admin/isatest/isatest-stats
2011-10-14 wenzelm 2011-10-14 more complete stats, including small sessions which provide some clues on main HOL baseline performance;
2011-09-19 wenzelm 2011-09-19 more isatest stats;
2011-08-11 wenzelm 2011-08-11 somewhat more uniform THIS;
2011-04-22 wenzelm 2011-04-22 stats for mac-poly-M2;
2011-01-28 wenzelm 2011-01-28 more precise stats;
2010-08-19 wenzelm 2010-08-19 updated some isatest settings;
2010-07-27 wenzelm 2010-07-27 more precise stats;
2010-05-28 wenzelm 2010-05-28 discontinued Sun/Solaris tests;
2010-05-01 wenzelm 2010-05-01 more stats;
2010-03-03 wenzelm 2010-03-03 stats for at-poly-test;
2010-01-03 wenzelm 2010-01-03 updated stats;
2009-10-27 wenzelm 2009-10-27 reactivated sun-poly, as parallel test;
2009-10-22 wenzelm 2009-10-22 updated session name;
2009-10-20 wenzelm 2009-10-20 modernized session SET_Protocol;
2009-10-20 wenzelm 2009-10-20 modernized session Metis_Examples;
2009-09-21 haftmann 2009-09-21 adjusted to new Number Theory scenario
2009-08-27 wenzelm 2009-08-27 more stats;
2009-08-06 wenzelm 2009-08-06 more platforms;
2009-07-29 wenzelm 2009-07-29 proper Jinja-Slicing;
2009-06-25 wenzelm 2009-06-25 more stats;
2009-06-14 wenzelm 2009-06-14 more isatest platforms;
2009-03-24 wenzelm 2009-03-24 process at-sml-dev last -- takes very long (why?);
2009-03-21 wenzelm 2009-03-21 more stats;
2009-02-26 wenzelm 2009-02-26 include HOL-Decision_Procs in stats;
2009-01-01 wenzelm 2009-01-01 updated sessions;
2008-10-15 wenzelm 2008-10-15 removed obsolete Complex sessions;
2008-10-08 wenzelm 2008-10-08 added HOL-Main;
2008-07-03 wenzelm 2008-07-03 more sessions;
2008-07-02 wenzelm 2008-07-02 moved HOL-Plain up;
2008-07-01 wenzelm 2008-07-01 added HOL-Plain;
2008-06-14 wenzelm 2008-06-14 proper name for LinearQuantifierElim;
2008-06-05 wenzelm 2008-06-05 added at-poly-5.1-para-e;
2008-05-30 wenzelm 2008-05-30 more AFP sessions;
2008-05-30 wenzelm 2008-05-30 more AFP sessions;
2008-02-28 wenzelm 2008-02-28 added HOL-Library;
2007-12-05 wenzelm 2007-12-05 removed -e flag from most sessions;
2007-10-04 wenzelm 2007-10-04 cover AFP logs as well, using "afp" pseudo-platform;
2007-08-30 wenzelm 2007-08-30 added some more entries;
2007-08-18 wenzelm 2007-08-18 added at-poly-5.1-para;
2007-06-20 wenzelm 2007-06-20 added HOL-Nominal-Examples;
2007-03-05 kleing 2007-03-05 moved all isatest/cron job related files to own directory