Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest/settings/annomaly
changeset 22409 5f7c9c82b05e
child 22639 a9551463543c 
--- /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")
isabelle