aboutsummaryrefslogtreecommitdiffstats
path: root/devel/ml-doc/pkg-descr
blob: 84c017601a94f9a06d2a042c883ebad152cc37d1 (plain) (blame)
1
2
3
4
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