aboutsummaryrefslogtreecommitdiff
path: root/devel/ml-doc
Commit message (Collapse)AuthorAgeFilesLines
* Update port: devel/ml-doc (very minor patch)Edwin Groothuis2007-09-121-1/+1
| | | | | | | | | | Sorry, I got the comment wrong. PR: ports/116293 Submitted by: Timothy Bourke <timbob@bigpond.com> Notes: svn path=/head/; revision=199355
* New port: devel/ml-docEdwin Groothuis2007-09-0712-0/+2408
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> Notes: svn path=/head/; revision=199022