Admin/isatest/isatest-doc
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2008-09-28 ago do not cvs update for doc test (switching to mercurial, update done outside
2008-06-06 ago doc test now runs on linux
2007-04-27 ago use correct email program for sunbroy2
2007-03-05 ago adjust paths
2007-03-05 ago moved all isatest/cron job related files to own directory