summaryrefslogtreecommitdiff
path: root/stdlib/sys.ml
Commit message (Expand)AuthorAgeFilesLines
* remove doublonsstrict_labelsJacques Garrigue2001-09-021-1/+0
* Try switching libraries to strict labelsJacques Garrigue2001-05-071-0/+1
* Suppression de argc car incoherent avec la troncature de argv effectuee lorsq...Xavier Leroy2001-02-051-1/+0
* ajout de argcPierre Weis2001-01-101-0/+1
* Suppression de Sys.date. Utilisation de sys_random_seed a la place dans RandomXavier Leroy1999-11-231-1/+0
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* ajout de Random.self_init et Sys.date. Attention bootstrap difficile.Damien Doligez1999-07-221-0/+1
* Ajout de Pervasives.ignore. List.remove -> List.remove_ass*Xavier Leroy1999-02-241-2/+1
* Éviction des alertes des séquences: ajout de fonctions rendant unit ouPierre Weis1998-11-121-4/+6
* Sys.signal renvoie l'ancien handlerXavier Leroy1998-08-081-2/+4
* Introduction des fonctions de timing.Pierre Weis1998-02-251-0/+1
* arg.ml, arg.mli, string.mli: amelioration de la docDamien Doligez1997-09-111-0/+2
* Utilisation de Sys.os_type. Nettoyages exceptions (failwith -> invalid_arg)Xavier Leroy1996-11-071-3/+2
* filename.ml, Makefile.nt: On utilise Sys.get_config au lieu de cpp.Damien Doligez1996-10-071-1/+3
* Ajout de la primitive "get_os_type".Damien Doligez1996-10-061-0/+1
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* obj: ajout de marshal et unmarshal.Xavier Leroy1996-04-181-0/+1
* Definition de removeXavier Leroy1995-12-061-0/+1
* Ajout de sig_vtalrm.Xavier Leroy1995-10-301-0/+1
* Ajout de Sys.interactive.Xavier Leroy1995-10-261-0/+2
* Ajout de Sys.getcwd.Xavier Leroy1995-08-231-0/+1
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Ajout de Sys.file_existsXavier Leroy1995-05-041-7/+1
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+52