summaryrefslogtreecommitdiff
path: root/stdlib/map.ml
Commit message (Expand)AuthorAgeFilesLines
* remove doublonsstrict_labelsJacques Garrigue2001-09-021-3/+0
* Try switching libraries to strict labelsJacques Garrigue2001-05-071-0/+3
* add variance annotationJacques Garrigue2001-02-121-1/+1
* Ajout de mapiXavier Leroy2000-02-211-0/+5
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Revu le module Buffer.Xavier Leroy1999-02-251-0/+8
* Makefiles: fix disparition de weak.cmoDamien Doligez1997-10-311-1/+1
* Typo dans message d'erreurXavier Leroy1997-10-151-4/+4
* Ajout de la fonction [map].Jérôme Vouillon1997-05-101-0/+5
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Extension objets.Jérôme Vouillon1996-04-221-5/+5
* Ajout de Map.remove.Xavier Leroy1996-04-041-0/+20
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Suppression de baltree, dont le code est maintenant integreXavier Leroy1995-05-301-0/+97