mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-21 04:06:46 +00:00
32961afd4f
ML-Doc is a system for documenting the interfaces of SML libraries. It can produce both HTML and LaTeX output. http://people.cs.uchicago.edu/~jhr/tools/ml-doc.html PR: ports/115932: Submitted by: Timothy Bourke <timbob@bigpond.com>
5 lines
170 B
Plaintext
5 lines
170 B
Plaintext
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
|