aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/gset.mli
Commit message (Expand)AuthorAge
* Prise en compte des coercions dans les clauses "with" même si le typeGravatar herbelin2008-04-23
* Nouvelle en-têteGravatar herbelin2004-07-16
* entetesGravatar filliatr2001-03-15
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Sets et Maps avec egalite generiqueGravatar filliatr1999-11-18