.. |
.cvsignore
|
MAJ des fichiers .cvsignore
|
1995-08-29 08:33:39 +00:00 |
.depend
|
Le module Profiling a ete sorti de la lib standard et mis dans ../tools.
|
1995-11-13 14:25:02 +00:00 |
Makefile
|
Qques dependances pour std_exit oubliees
|
1995-12-10 09:34:35 +00:00 |
arg.ml
|
Introduction de Arg.Set et Arg.Clear.
|
1995-09-05 12:30:26 +00:00 |
arg.mli
|
Introduction de Arg.Set et Arg.Clear.
|
1995-09-05 12:30:26 +00:00 |
array.ml
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
array.mli
|
Rectif commentaires de doc.
|
1995-09-12 14:05:37 +00:00 |
baltree.ml
|
Printf.sprintf et String.concat dans stdlib
|
1995-05-05 10:05:18 +00:00 |
baltree.mli
|
Passage a la version bootstrappee (franchissement du Rubicon)
|
1995-05-04 10:15:53 +00:00 |
char.ml
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
char.mli
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
digest.ml
|
Digest passe dans stdlib.
|
1995-10-17 10:01:45 +00:00 |
digest.mli
|
Digest: documentation revue.
|
1995-11-15 16:40:44 +00:00 |
filename.ml
|
Ajout du module Profiling.
|
1995-10-24 15:38:03 +00:00 |
filename.mli
|
Ajout du module Profiling.
|
1995-10-24 15:38:03 +00:00 |
format.ml
|
MAJ d'apres les modifs faites en CL 0.7.1.
|
1995-12-06 16:16:40 +00:00 |
format.mli
|
Possibilite de detourner la sortie vers des fonctions utilisateur
|
1995-08-29 08:31:50 +00:00 |
gc.ml
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
gc.mli
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
hashtbl.ml
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
hashtbl.mli
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
header.c
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
lexing.ml
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
lexing.mli
|
MAJ doc.
|
1995-11-27 14:12:38 +00:00 |
list.ml
|
map2 de gauche a droite
|
1995-11-19 16:54:24 +00:00 |
list.mli
|
Ajout de List.for_all2 et List.exists2.
|
1995-09-28 10:42:18 +00:00 |
map.ml
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
map.mli
|
Omissions, typos dans les commentaires de doc.
|
1995-12-06 15:46:34 +00:00 |
obj.ml
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
obj.mli
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
parsing.ml
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
parsing.mli
|
Faute d'anglais dans un commentaire.
|
1995-10-03 14:06:15 +00:00 |
pervasives.ml
|
&& et || comme synonymes de & et or.
|
1995-12-15 10:20:24 +00:00 |
pervasives.mli
|
&& et || comme synonymes de & et or.
|
1995-12-15 10:20:24 +00:00 |
printexc.ml
|
On flushe dans print
|
1995-11-15 09:33:15 +00:00 |
printexc.mli
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
printf.ml
|
Correction de sprintf
|
1995-11-21 09:22:35 +00:00 |
printf.mli
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
queue.ml
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
queue.mli
|
Nettoyage de la doc en commentaires.
|
1995-09-04 12:07:15 +00:00 |
random.ml
|
Mauvaise constante dans Random.int
|
1995-11-26 13:35:48 +00:00 |
random.mli
|
pervasives.mli: typo dans les docs
|
1995-10-16 12:40:46 +00:00 |
set.ml
|
Introduction de "S with module ... = ..."
|
1995-10-01 13:39:43 +00:00 |
set.mli
|
Omissions, typos dans les commentaires de doc.
|
1995-12-06 15:46:34 +00:00 |
sort.ml
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
sort.mli
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
stack.ml
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
stack.mli
|
Digest passe dans stdlib.
|
1995-10-17 10:01:45 +00:00 |
std_exit.ml
|
Ajout de std_exit
|
1995-10-23 17:00:07 +00:00 |
stream.ml
|
Les fonctions de streams rapides, "from", "of_channel", etc. ne peuvent plus
|
1995-12-07 19:44:19 +00:00 |
stream.mli
|
Typo dans la doc
|
1995-12-29 13:15:44 +00:00 |
string.ml
|
Ajout des notices de copyright
|
1995-08-09 15:06:35 +00:00 |
string.mli
|
Omissions, typos dans les commentaires de doc.
|
1995-12-06 15:46:34 +00:00 |
sys.ml
|
Definition de remove
|
1995-12-06 16:05:59 +00:00 |
sys.mli
|
Omissions, typos dans les commentaires de doc.
|
1995-12-06 15:46:34 +00:00 |