Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
/usr/share/smlnj/bin;
authorwenzelm
Wed, 21 Apr 1999 18:46:58 +0200
changeset 6462 d5cc7c304db0
parent 6461 99c34e50a2c6
child 6463 56d24439b4d3
/usr/share/smlnj/bin;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Wed Apr 21 17:11:34 1999 +0200
+++ b/etc/settings	Wed Apr 21 18:46:58 1999 +0200
@@ -13,7 +13,7 @@
 
 # Standard ML of New Jersey 110 or later
 #ML_SYSTEM=smlnj-110
-#ML_HOME=/usr/local/smlnj-110/bin
+#ML_HOME=/usr/share/smlnj/bin
 #ML_OPTIONS="@SMLdebug=/dev/null"
 #ML_PLATFORM=$(eval $($ML_HOME/.arch-n-opsys); echo $HEAP_SUFFIX)
isabelle