Mercurial Mercurial > repos > isabelle / annotate
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
author gagern
Mon, 05 Mar 2007 10:14:32 +0100
changeset 22409 5f7c9c82b05e
child 22639 a9551463543c
permissions -rw-r--r--
AnnoMaLy related files, as discussed in mails with Gerwin Klein
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
22409
5f7c9c82b05e AnnoMaLy related files, as discussed in mails with Gerwin Klein
gagern
parents:
diff changeset 
     1
 
ML_SYSTEM=annomaly
5f7c9c82b05e AnnoMaLy related files, as discussed in mails with Gerwin Klein
gagern
parents:
diff changeset 
     2
 
ML_HOME="$SMLNJ_HOME/bin"
5f7c9c82b05e AnnoMaLy related files, as discussed in mails with Gerwin Klein
gagern
parents:
diff changeset 
     3
 
ML_OPTIONS="-m $SMLNJ_HOME/annomaly/annomaly.cm @SMLdebug=/dev/null"
5f7c9c82b05e AnnoMaLy related files, as discussed in mails with Gerwin Klein
gagern
parents:
diff changeset 
     4
 
ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
isabelle