merge changes from 4.00.0 to 4.00.1
Damien Doligez • 11 years ago  
ignore build dir for frama-c
Damien Doligez • 11 years ago  
update hevea + small changes for cygwin
Damien Doligez • 11 years ago  
PR#5744: fix pb with virtual attributes
Maxence Guesdon • 11 years ago  
Fix PR#5758
Jacques Garrigue • 11 years ago  
cancel commit in wrong branch
Jacques Garrigue • 11 years ago  
use types to disambiguate record access
Jacques Garrigue • 11 years ago  
Fix.
Alain Frisch • 11 years ago  
ocamlbuild-mixed-boot is not phony
Jacques Garrigue • 11 years ago  
Formatting.
Alain Frisch • 11 years ago  
update comment; remove spurious commas
Damien Doligez • 11 years ago  
add copyright header and fix formatting
Damien Doligez • 11 years ago  
clarify documentation
Damien Doligez • 11 years ago  
ignore generated files
Damien Doligez • 11 years ago  
PR#5757: GC compaction bug (crash)
Damien Doligez • 11 years ago  
PR#5757: GC compaction bug (crash)
Damien Doligez • 11 years ago  
PR#5652: update Changes file
Wojciech Meyer • 11 years ago  
PR#5111: no more span around hX tags
Maxence Guesdon • 11 years ago  
typo
Jacques Garrigue • 11 years ago  
real fix for PR#5738
Jacques Garrigue • 11 years ago  
fix PR#5738
Jacques Garrigue • 11 years ago  
call ocamltoolsopt earlier
Jacques Garrigue • 11 years ago  
fix module order
Jacques Garrigue • 11 years ago