Xavier Leroy a4699890e6 Typo dans construction de dbm.cmxa (PR#594) ... git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3956 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02		2001-10-30 14:03:22 +00:00
..
bigarray	Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).	2001-10-30 09:32:32 +00:00
db	passage aux labels stricts	2001-09-06 08:52:32 +00:00
dbm	Typo dans construction de dbm.cmxa (PR#594)	2001-10-30 14:03:22 +00:00
dynlink	Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).	2001-10-30 09:32:32 +00:00
graph	Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).	2001-10-30 09:32:32 +00:00
labltk	Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).	2001-10-30 09:32:32 +00:00
macosunix	Mac: deps + Makefile; gethost.c: ajout const	2001-02-28 17:20:27 +00:00
num	Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).	2001-10-30 09:32:32 +00:00
str	Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).	2001-10-30 09:32:32 +00:00
systhreads	Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).	2001-10-30 09:32:32 +00:00
threads	Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).	2001-10-30 09:32:32 +00:00
unix	Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).	2001-10-30 09:32:32 +00:00
win32unix	Ajout de flush_all + modifs pour Cash (Bruno Verlyck)	2001-10-09 15:14:01 +00:00