#5805: Changes file.
Alain Frisch • 11 years ago  
Attempt to fix #5805 (not tested).
Alain Frisch • 11 years ago  
fix a typo in record printing
Hongbo Zhang • 11 years ago  
desguaring record syntax sugar
Hongbo Zhang • 11 years ago  
make pprintast usable
Hongbo Zhang • 11 years ago  
add missing copyright headers
Damien Doligez • 11 years ago  
remove non-ascii chars
Damien Doligez • 11 years ago  
remove non-ascii chars
Damien Doligez • 11 years ago  
remove non-ascii chars
Damien Doligez • 11 years ago  
remove non-ascii chars
Damien Doligez • 11 years ago  
more small changes
Damien Doligez • 11 years ago  
ignore generated files
Damien Doligez • 11 years ago  
Adapt to changes.
Alain Frisch • 11 years ago  
#5768: add tests.
Alain Frisch • 11 years ago  
Add missing module.
Alain Frisch • 11 years ago  
#5784: -dclambda option is ignored.
Alain Frisch • 11 years ago  
remove TABs
Damien Doligez • 11 years ago  
remove all $Id keywords
Damien Doligez • 11 years ago  
add possibility of ignoring a directory
Damien Doligez • 11 years ago  
small tweaks
Damien Doligez • 11 years ago  
Fix PR#5785
Jacques Garrigue • 11 years ago  
introduce local types in patterns
Jacques Garrigue • 11 years ago  
Typo.
Alain Frisch • 11 years ago  
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