summaryrefslogtreecommitdiff
path: root/stdlib/char.ml
Commit message (Expand)AuthorAgeFilesLines
* The functions that escape characters ([escaped]) now handle charactersPierre Weis2007-04-161-14/+17
* or is obsolete --> ||Pierre Habouzit2005-05-191-1/+1
* depollution (PR#1914, PR#1956)Damien Doligez2003-12-161-2/+2
* Ajout d'un type t et d'une fonction compare pour permettre l'utilisation de c...Xavier Leroy2002-06-261-0/+4
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Passage version 2.01Xavier Leroy1998-12-081-2/+0
* Ajout des fonctions int_of_float, float_of_int, char_of_int,Pierre Weis1998-12-021-0/+2
* Fix: lowercase/uppercase: O barre.Damien Doligez1997-06-171-2/+2
* Typo dans Char.escapedXavier Leroy1996-11-181-1/+1
* Char, String: ajout fonctions uppercase, lowercase, capitalize, uncapitalize.Xavier Leroy1996-10-311-8/+29
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+26