freebsd-ports/devel/ml-doc/pkg-descr
Edwin Groothuis 32961afd4f New port: devel/ml-doc
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>
2007-09-07 12:01:00 +00:00

4 lines
170 B
Text

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