summaryrefslogtreecommitdiff
path: root/stdlib/stdLabels.mli
Commit message (Expand)AuthorAgeFilesLines
* Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0Xavier Leroy2004-07-131-0/+3
* PR#2727Damien Doligez2004-06-161-0/+2
* depollution suite (PR#1914, PR#1956)Damien Doligez2003-12-311-2/+2
* depollution (PR#1914, PR#1956)Damien Doligez2003-12-161-4/+4
* add String.iterJacques Garrigue2002-01-041-0/+1
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* commentaires aprèsMaxence Guesdon2001-12-031-105/+109
* Modification emplacements et syntaxe commentaires pour OCamldoc.Maxence Guesdon2001-10-261-3/+3
* documentationJacques Garrigue2001-09-271-2/+8
* remove labels from List.assoc/remove_assocJacques Garrigue2001-09-171-4/+4
* passage aux labels strictsJacques Garrigue2001-09-061-0/+124