The ML-Doc toolset


The ML-Doc toolset is a collection of tools for documenting SML signatures. The toolset consists of an SGML DTD, called ML-Doc, and a collection of tools for converting SGML files written using this DTD to other formats. It requires SML/NJ 110.72+ and either nsgmls or onsgmls to build and install.


The ML-Doc toolset is distributed in source form as a gzipped tar file (ml-doc.tar.gz). It was last modified on January 1, 2012; see the CHANGES file in the distribution for more information.

Last modified: January 1, 2012.
Comments to: John Reppy