Minor changes, for next release



git-svn-id: file:///srv/repos/svn-community/svn@121214 9fca08f4-af9d-4005-b8df-a31f2cc04f65
Standard ML compiler



git-svn-id: file:///srv/repos/svn-community/svn@121215 9fca08f4-af9d-4005-b8df-a31f2cc04f65