PolyDoc

Owner: dcjm

Category: Application

ML source to XML documentation tool

PolyDoc extracts documentation in the form of XML files from ML source files. Signatures are pretty-printed to the output along with the contents of specially formatted comments.

Dependencies:

Platform:

Poly/ML version:

Licence:

Download link:

Project link: https://github.com/polyml/polydoc