summaryrefslogtreecommitdiff
path: root/stdlib/callback.ml
Commit message (Expand)AuthorAgeFilesLines
* depollution suite (PR#1914, PR#1956)Damien Doligez2003-12-311-1/+2
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* changed label_pattern syntaxJacques Garrigue1999-12-081-1/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout de CallbackXavier Leroy1996-11-081-0/+22