Admin/isatest-doc
2005-06-30 ago use global settings for isatest-doc
2005-05-08 ago MAILTO: makarius@sketis.net
2005-05-02 ago added to isatest-doc MAILTO
2005-05-02 ago added myself to mailing list
2005-04-30 ago fixed typo
2005-04-30 ago separate test run for theories in Doc/