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.
MLWorks 2.0;
authorwenzelm
Fri, 16 Oct 1998 18:50:50 +0200
changeset 5659 e2a2be6089b4
parent 5658 082debccf486
child 5660 f2c5354cd32f
MLWorks 2.0;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Fri Oct 16 18:50:20 1998 +0200
+++ b/etc/settings	Fri Oct 16 18:50:50 1998 +0200
@@ -37,7 +37,7 @@
 #ML_HOME=/usr/local/smlnj-110/bin
 #ML_OPTIONS="@SMLdebug=/dev/null"
 
-# MLWorks 1.0r2 or later -- still EXPERIMENTAL!!
+# MLWorks 1.0r2 or later (2.0 recommended)
 #ML_SYSTEM=mlworks
 #ML_HOME=/usr/local/mlworks/bin
 #ML_OPTIONS=""
isabelle