| Tue, 27 Oct 2009 23:16:18 +0100 | wenzelm | reactivated sun-poly, as parallel test; | file | diff | annotate |
| Thu, 22 Oct 2009 17:09:29 +0200 | wenzelm | updated session name; | file | diff | annotate |
| Tue, 20 Oct 2009 20:03:23 +0200 | wenzelm | modernized session SET_Protocol; | file | diff | annotate |
| Tue, 20 Oct 2009 19:52:04 +0200 | wenzelm | modernized session Metis_Examples; | file | diff | annotate |
| Mon, 21 Sep 2009 16:00:34 +0200 | haftmann | adjusted to new Number Theory scenario | file | diff | annotate |
| Thu, 27 Aug 2009 17:09:37 +0200 | wenzelm | more stats; | file | diff | annotate |
| Thu, 06 Aug 2009 22:30:27 +0200 | wenzelm | more platforms; | file | diff | annotate |
| Wed, 29 Jul 2009 21:40:04 +0200 | wenzelm | proper Jinja-Slicing; | file | diff | annotate |
| Thu, 25 Jun 2009 13:40:03 +0200 | wenzelm | more stats; | file | diff | annotate |
| Sun, 14 Jun 2009 02:38:09 +0200 | wenzelm | more isatest platforms; | file | diff | annotate |
| Tue, 24 Mar 2009 13:12:23 +0100 | wenzelm | process at-sml-dev last -- takes very long (why?); | file | diff | annotate |
| Sat, 21 Mar 2009 12:35:34 +0100 | wenzelm | more stats; | file | diff | annotate |
| Thu, 26 Feb 2009 16:59:04 +0100 | wenzelm | include HOL-Decision_Procs in stats; | file | diff | annotate |
| Thu, 01 Jan 2009 10:42:48 +0100 | wenzelm | updated sessions; | file | diff | annotate |
| Wed, 15 Oct 2008 19:43:11 +0200 | wenzelm | removed obsolete Complex sessions; | file | diff | annotate |
| Wed, 08 Oct 2008 19:30:15 +0200 | wenzelm | added HOL-Main; | file | diff | annotate |
| Thu, 03 Jul 2008 19:17:52 +0200 | wenzelm | more sessions; | file | diff | annotate |
| Wed, 02 Jul 2008 21:43:57 +0200 | wenzelm | moved HOL-Plain up; | file | diff | annotate |
| Tue, 01 Jul 2008 20:10:59 +0200 | wenzelm | added HOL-Plain; | file | diff | annotate |
| Sat, 14 Jun 2008 15:58:36 +0200 | wenzelm | proper name for LinearQuantifierElim; | file | diff | annotate |
| Thu, 05 Jun 2008 14:28:02 +0200 | wenzelm | added at-poly-5.1-para-e; | file | diff | annotate |
| Fri, 30 May 2008 23:10:53 +0200 | wenzelm | more AFP sessions; | file | diff | annotate |
| Fri, 30 May 2008 01:46:52 +0200 | wenzelm | more AFP sessions; | file | diff | annotate |
| Thu, 28 Feb 2008 00:04:47 +0100 | wenzelm | added HOL-Library; | file | diff | annotate |
| Wed, 05 Dec 2007 20:16:36 +0100 | wenzelm | removed -e flag from most sessions; | file | diff | annotate |
| Thu, 04 Oct 2007 16:21:31 +0200 | wenzelm | cover AFP logs as well, using "afp" pseudo-platform; | file | diff | annotate |
| Thu, 30 Aug 2007 17:09:02 +0200 | wenzelm | added some more entries; | file | diff | annotate |
| Sat, 18 Aug 2007 00:22:22 +0200 | wenzelm | added at-poly-5.1-para; | file | diff | annotate |
| Wed, 20 Jun 2007 23:15:25 +0200 | wenzelm | added HOL-Nominal-Examples; | file | diff | annotate |
| Mon, 05 Mar 2007 22:12:20 +0100 | kleing | moved all isatest/cron job related files to own directory | file | diff | annotate |