bigarray
|
passage aux labels legers
|
2000-04-03 01:57:52 +00:00 |
db
|
fix PR#76
|
2000-04-03 02:21:07 +00:00 |
dbm
|
fix PR#76
|
2000-04-03 02:21:07 +00:00 |
dynlink
|
dynlink.mli is now copied to LIBDIR
|
2000-03-29 11:32:06 +00:00 |
labltk
|
utilise -ccopt plutot que -cclib
|
2000-04-04 03:29:55 +00:00 |
num
|
x86: make -> $(MAKE)
|
2000-04-04 07:34:39 +00:00 |
str
|
passage aux labels legers
|
2000-04-03 01:57:52 +00:00 |
unix
|
passage aux labels legers
|
2000-04-03 01:57:52 +00:00 |
win32unix
|
MAJ portage Win32
|
2000-03-16 13:35:20 +00:00 |