summaryrefslogtreecommitdiff
path: root/stdlib/listLabels.mli
Commit message (Expand)AuthorAgeFilesLines
* sync commentsJacques Garrigue2007-01-221-26/+22
* nettoyageDamien Doligez2005-10-251-2/+2
* typoDamien Doligez2003-07-251-1/+1
* changement List.sort; ajout fast_sort et List.mergeDamien Doligez2002-06-051-0/+13
* changements niveaux de titres dans les commentairesMaxence Guesdon2001-12-281-7/+7
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* correction typoMaxence Guesdon2001-12-041-1/+1
* commentaires aprèsMaxence Guesdon2001-12-031-41/+41
* Modification emplacement et syntaxe commentaires pour OCamldocMaxence Guesdon2001-10-261-127/+184
* remove labels from List.assoc/remove_assocJacques Garrigue2001-09-171-4/+4
* passage aux labels strictsJacques Garrigue2001-09-061-0/+212