summaryrefslogtreecommitdiff
path: root/stdlib/moreLabels.mli
Commit message (Expand)AuthorAgeFilesLines
* Ajout Map.is_empty, Map.compare, Map.equalXavier Leroy2004-04-231-1/+4
* added split in the result of Set.MakeBasile Starynkevitch2004-04-141-0/+1
* added length to Hashtbl.Basile Starynkevitch2004-03-231-0/+2
* depollution suite (et fin?) (PR#1914 et PR#1956)Damien Doligez2004-01-021-1/+1
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* forgot Hashtbl.copyJacques Garrigue2001-12-051-1/+2
* change commentaireJacques Garrigue2001-12-051-4/+4
* recover formattingJacques Garrigue2001-12-041-85/+90
* commentaires aprèsMaxence Guesdon2001-12-031-90/+85
* Modification emplacements et syntaxe commentaires pour OCamldoc.Maxence Guesdon2001-10-261-3/+3
* Revu strategie de redimensionnement des hashtables; ajout Hashtbl.copy.Xavier Leroy2001-10-251-0/+1
* MoreLabels for better 3.02 compatibilityJacques Garrigue2001-10-031-0/+115