aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ocamldoc
Commit message (Expand)AuthorAge
* Change of nomenclature: rawconstr -> glob_constrGravatar glondu2010-12-23
* Prepare change of nomenclature rawconstr -> glob_constrGravatar glondu2010-12-23
* "make source-doc" builds documentation of mli in html and pdf atGravatar pboutill2010-04-29