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.99+ and either nsgmls or onsgmls to build and install.

Download

The ML-Doc toolset is available in source form from GitHub.


Last modified: July 25, 2022.
Comments to: John Reppy