Date: Tue, 10 Sep 2002 11:34:30 -0400 (EDT) Subject: About smlnj in ren.cis.udel.edu I just checked the path name for ml, /usr/local/smlnj. It does not exit. When I run "locate sml", it can not return the pat for ml.