ML-Doc is a system for documenting the interfaces of SML libraries. It can produce both HTML and LaTeX output. WWW: http://people.cs.uchicago.edu/~jhr/tools/ml-doc.html