summaryrefslogtreecommitdiff
path: root/stdlib/set.ml
Commit message (Expand)AuthorAgeFilesLines
* fusion des bugfixes de 3.08.2Damien Doligez2004-11-251-1/+1
* Meilleure implementation de Set.compare. Revu doc de Set.split.Xavier Leroy2004-04-231-14/+17
* added split in the result of Set.MakeBasile Starynkevitch2004-04-141-0/+1
* Problemes d'equilibrage dans join et remove (PR#1717,PR#1720)Xavier Leroy2003-06-231-52/+70
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* Getting rid of obsolete boolean operators & and orPierre Weis2000-12-281-1/+1
* Ajout iterateurs for_all, exists, filter, partitionXavier Leroy2000-04-131-0/+26
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout de Set.singleton, optimisation de Set.unionXavier Leroy1998-07-021-3/+14
* Corrections mineures sur la documentationXavier Leroy1998-04-271-4/+13
* Makefiles: fix disparition de weak.cmoDamien Doligez1997-10-311-1/+1
* Ajout de la fonction [subset].Jérôme Vouillon1997-05-101-0/+16
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Extension objets.Jérôme Vouillon1996-04-221-7/+7
* Introduction de "S with module ... = ..."Xavier Leroy1995-10-011-1/+1
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Fermetures representees en un seul blocXavier Leroy1995-06-221-0/+5
* Suppression de baltree, dont le code est maintenant integreXavier Leroy1995-05-301-23/+150
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+99