Admin/isatest/isatest-annomaly
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2007-04-12 ago isatest version of annomaly script. to be run from istatest-makedist.