Admin/isatest-doc
2005-06-30 kleing use global settings for isatest-doc
2005-05-08 wenzelm MAILTO: makarius@sketis.net
2005-05-02 haftmann added to isatest-doc MAILTO
2005-05-02 nipkow added myself to mailing list
2005-04-30 kleing fixed typo
2005-04-30 kleing separate test run for theories in Doc/
less more (0) tip