Fix PR#6303
Jacques Garrigue • 10 years ago  
PR#6189, items (10) and (11)
Damien Doligez • 10 years ago  
PR#6189: items (8) and (9)
Damien Doligez • 10 years ago  
PR#6189: items (5) (6) (7)
Damien Doligez • 10 years ago  
svn wants to commit mergeinfo...
Damien Doligez • 10 years ago  
Fix PR#6293
Jacques Garrigue • 10 years ago  
Fix PR#6293
Jacques Garrigue • 10 years ago  
Merge module-alias branch (cf. PR#6063)
Jacques Garrigue • 10 years ago  
update CHANGES
Gabriel Scherer • 10 years ago  
fix commit 14384
Jérémie Dimino • 10 years ago  
udate test: let supports GADTs
Jacques Garrigue • 10 years ago  
fix crashing bug in win32unix/select.c
Damien Doligez • 10 years ago  
merge generative functors
Jacques Garrigue • 10 years ago  
Fix PR#6275
Jacques Garrigue • 10 years ago  
Typo.
Alain Frisch • 10 years ago  
Fix.
Alain Frisch • 10 years ago  
update Changes for PR#6257
Maxence Guesdon • 10 years ago  
mergeinfo stuff that I don't understand
Damien Doligez • 10 years ago  
port to cygwin-64
Damien Doligez • 10 years ago