diff -r 3878265f4924 -r 5f7c9c82b05e Admin/isatest/settings/annomaly
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/isatest/settings/annomaly	Mon Mar 05 10:14:32 2007 +0100
@@ -0,0 +1,4 @@
+ML_SYSTEM=annomaly
+ML_HOME="$SMLNJ_HOME/bin"
+ML_OPTIONS="-m $SMLNJ_HOME/annomaly/annomaly.cm @SMLdebug=/dev/null"
+ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")