isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

Admin/isatest/isatest-stats

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

less more (0) tip

isabelle

RSS Atom