summaryrefslogtreecommitdiff
path: root/stdlib/stdLabels.ml
Commit message (Expand)AuthorAgeFilesLines
* This commit was manufactured by cvs2svn to create branch 'poly_meth2'.No author2002-01-041-0/+22
* This commit was manufactured by cvs2svn to create branch 'poly_meth2'.No author2001-11-231-21/+0
* passage aux labels strictsJacques Garrigue2001-09-061-0/+21