Sorry, I got the comment wrong. PR: ports/116293 Submitted by: Timothy Bourke <timbob@bigpond.com>
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>