The ML-Doc toolset
Description
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.55+ and either nsgmls or onsgmls to build and
install.
Download
The ML-Doc toolset is distributed in source form
as a gzipped tar file
(ml-doc.tar.gz).
It was last modified on June 18, 2007; see the CHANGES
file in the distribution for more information.
Last modified: June 18, 2007.
Comments to: John Reppy