How to use SMLserver

"How to use SMLserver" is not written yet.