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