| 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 |