2005-06-30 | kleing | use global settings for isatest-doc | file | diff | annotate |
2005-05-08 | wenzelm | MAILTO: makarius@sketis.net | file | diff | annotate |
2005-05-02 | haftmann | added to isatest-doc MAILTO | file | diff | annotate |
2005-05-02 | nipkow | added myself to mailing list | file | diff | annotate |
2005-04-30 | kleing | fixed typo | file | diff | annotate |
2005-04-30 | kleing | separate test run for theories in Doc/ | file | diff | annotate |