An EMACS major mode for editing Standard ML
