summaryrefslogtreecommitdiff
path: root/stdlib/set.ml
Commit message (Expand)AuthorAgeFilesLines
* GPR#174: ensure that Set.remove and Set.filter return the original set (physi...Alain Frisch2015-05-051-5/+15
* #6645: Set.add returns the original set when the element to be added is alrea...Alain Frisch2015-03-261-1/+6
* fix some of the whitespace problems in the sourceDamien Doligez2014-04-121-1/+2
* #4986. Add two common operations: List.sort_uniq (more efficient that sorting...Alain Frisch2013-07-091-0/+29
* #5864: add a find operation to Set.Alain Frisch2013-01-081-0/+7
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* Ensure that {Set,Map}.{filter,partition} call their functional argumentGabriel Scherer2012-05-301-4/+10
* More efficient implementation of {Set,Map}.{filter,partition}Xavier Leroy2012-01-161-17/+34
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* 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