+ . domtool-font-lock-syntactic-face-function)))
+ (set (make-local-variable 'indent-line-function) 'sml-indent-line)
+ (set (make-local-variable 'comment-start) "(* ")
+ (set (make-local-variable 'comment-end) " *)")
+ (set (make-local-variable 'comment-nested) t))