aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/predicate.mli
Commit message (Expand)AuthorAge
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Compatibilité ocamlweb pour cible docGravatar herbelin2005-01-21
* TransparentGravatar barras2001-09-20