| Thu, 30 Jun 2005 05:27:40 +0200 | kleing | use global settings for isatest-doc | file | diff | annotate |
| Sun, 08 May 2005 22:18:12 +0200 | wenzelm | MAILTO: makarius@sketis.net | file | diff | annotate |
| Mon, 02 May 2005 08:17:16 +0200 | haftmann | added to isatest-doc MAILTO | file | diff | annotate |
| Mon, 02 May 2005 07:34:07 +0200 | nipkow | added myself to mailing list | file | diff | annotate |
| Sat, 30 Apr 2005 14:18:36 +0200 | kleing | fixed typo | file | diff | annotate |
| Sat, 30 Apr 2005 14:06:58 +0200 | kleing | separate test run for theories in Doc/ | file | diff | annotate |