Admin/isatest/isatest-makeall
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2008-03-24 ago tuned settings for target platforms;
2008-01-14 ago make at-sml-dev experimental
2007-10-01 ago fixed dir in single-logic test
2007-09-30 ago fix shell quoting confusion
2007-09-29 ago swapped machines for at-sml-dev and at-sml-dev-p
2007-09-29 ago accept single logic and target as argument
2007-09-19 ago move at-sml-dev to 2-processor atbroy100
2007-06-19 ago macbroy5: trying -j 2;
2007-03-05 ago adjust paths
2007-03-05 ago moved all isatest/cron job related files to own directory