summaryrefslogtreecommitdiff
path: root/stdlib/map.ml
Commit message (Expand)AuthorAgeFilesLines
* fusion des modifs de 3.08.4Damien Doligez2005-08-131-1/+1
* suppression de variables inutilesDamien Doligez2004-11-251-2/+2
* Ajout Map.is_empty, Map.compare, Map.equalXavier Leroy2004-04-231-2/+39
* Probleme d'equilibrage dans remove (PR#1720)Xavier Leroy2003-06-231-3/+14
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* 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