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.
tuned comment;
authorwenzelm
Mon, 26 May 1997 13:45:39 +0200
changeset 3349 943d1630f003
parent 3348 3f9a806f061e
child 3350 a3abf29660e6
tuned comment;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Mon May 26 12:54:40 1997 +0200
+++ b/etc/settings	Mon May 26 13:45:39 1997 +0200
@@ -32,7 +32,7 @@
 #ML_HOME=/usr/local/sml107/bin
 #ML_OPTIONS="@SMLdebug=/dev/null"
 
-# Standard ML of New Jersey 1.09.27
+# Standard ML of New Jersey 1.09.27, or later
 #ML_SYSTEM=smlnj-1.09
 #ML_HOME=/usr/local/sml109.27/bin
 #ML_OPTIONS="@SMLdebug=/dev/null"
isabelle