.. |
.cvsignore
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
.depend
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
Makefile
|
propagate $(COMPILER)
|
2001-09-06 09:03:05 +00:00 |
Makefile.Mac
|
PR#303
|
2001-03-06 16:55:27 +00:00 |
Makefile.Mac.depend
|
Mac: deps + Makefile; gethost.c: ajout const
|
2001-02-28 17:20:27 +00:00 |
Makefile.nt
|
MacOS
|
2000-04-17 20:01:40 +00:00 |
arg.ml
|
typo
|
2001-08-21 18:49:22 +00:00 |
arg.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
array.ml
|
Getting rid of obsolete boolean operators & and or
|
2000-12-28 13:07:42 +00:00 |
array.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
arrayLabels.ml
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
arrayLabels.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
buffer.ml
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
buffer.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
callback.ml
|
changed label_pattern syntax
|
1999-12-08 08:21:57 +00:00 |
callback.mli
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
char.ml
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
char.mli
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
digest.ml
|
mise au carre des ofs+len (PR#96)
|
2000-05-08 17:53:58 +00:00 |
digest.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
filename.ml
|
Getting rid of obsolete boolean operators & and or
|
2000-12-28 13:07:42 +00:00 |
filename.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
format.ml
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
format.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
gc.ml
|
PR#497
|
2001-08-28 13:22:24 +00:00 |
gc.mli
|
bug de Gc.counters
|
2001-08-13 13:54:04 +00:00 |
genlex.ml
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
genlex.mli
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
hashtbl.ml
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
hashtbl.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
header.c
|
Ouvrir l'executable en mode binaire, bien sur
|
2000-11-28 16:21:26 +00:00 |
headernt.c
|
MAJ portage Win32
|
2000-03-16 13:35:20 +00:00 |
int32.ml
|
Ajout {Int32,Int64,Nativeint}.{of_float,to_float}
|
2000-04-18 08:51:28 +00:00 |
int32.mli
|
Documentation plus precise
|
2001-02-05 08:53:55 +00:00 |
int64.ml
|
Documentation plus precise. Ajout de bits_of_float et float_of_bits
|
2001-02-05 08:54:18 +00:00 |
int64.mli
|
Documentation plus precise. Ajout de bits_of_float et float_of_bits
|
2001-02-05 08:54:18 +00:00 |
lazy.ml
|
Detection des boucles de causalite dans les definition des valeurs paresseuses
|
2000-01-07 19:18:34 +00:00 |
lazy.mli
|
Detection des boucles de causalite dans les definition des valeurs paresseuses
|
2000-01-07 19:18:34 +00:00 |
lexing.ml
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
lexing.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
list.ml
|
petite amelioration de List.sort
|
2000-07-10 11:29:04 +00:00 |
list.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
listLabels.ml
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
listLabels.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
map.ml
|
add variance annotation
|
2001-02-12 23:46:18 +00:00 |
map.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
marshal.ml
|
Getting rid of obsolete boolean operators & and or
|
2000-12-28 13:07:42 +00:00 |
marshal.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
nativeint.ml
|
Ajout de Nativeint.size
|
2001-01-21 12:34:41 +00:00 |
nativeint.mli
|
Documentation plus precise
|
2001-02-05 08:53:55 +00:00 |
obj.ml
|
Ajout de la primitive %obj_is_int
|
1999-12-12 16:29:31 +00:00 |
obj.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
oo.ml
|
Bug fixed (#346)
|
2001-06-08 18:40:32 +00:00 |
oo.mli
|
Bug fixed (#346)
|
2001-06-08 18:40:32 +00:00 |
parsing.ml
|
changed label_pattern syntax
|
1999-12-08 08:21:57 +00:00 |
parsing.mli
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
pervasives.ml
|
Suppression definition inutile de fflush
|
2001-02-20 10:18:55 +00:00 |
pervasives.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
printexc.ml
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
printexc.mli
|
Marquer comme 'deprecated' Printexc.catch
|
2001-06-19 10:04:04 +00:00 |
printf.ml
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
printf.mli
|
Documenter un peu plus le comportement en cas d'application partielle
|
2001-02-13 09:29:39 +00:00 |
queue.ml
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
queue.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
random.ml
|
arg: ajout --help; random: meilleur init
|
2001-08-21 15:10:51 +00:00 |
random.mli
|
random: ajout get/set_state
|
2000-11-20 14:20:03 +00:00 |
set.ml
|
Getting rid of obsolete boolean operators & and or
|
2000-12-28 13:07:42 +00:00 |
set.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
sharpbang
|
#!space, pas #!
|
1998-04-27 15:14:31 +00:00 |
sort.ml
|
fix Array.sort (PR#33)
|
2000-03-16 16:43:43 +00:00 |
sort.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
stack.ml
|
Ajout Stack.top
|
2000-04-13 12:16:02 +00:00 |
stack.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
stdLabels.ml
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
stdLabels.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
std_exit.ml
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
stream.ml
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
stream.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
string.ml
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
string.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
stringLabels.ml
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
stringLabels.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
sys.ml
|
Suppression de argc car incoherent avec la troncature de argv effectuee lorsqu'on execute un script
|
2001-02-05 09:00:59 +00:00 |
sys.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |
weak.ml
|
ajout Weak.get_copy
|
2000-08-23 17:10:41 +00:00 |
weak.mli
|
passage aux labels stricts
|
2001-09-06 08:52:32 +00:00 |