Add rate_type in interpreter/types.ml.
[Faustine.git] / README.txt
2013-08-28 WANGMerge branch 'master' of https://scm.cri.ensmp.fr/git...
2013-08-27 Karim BarkatiInstall, Readme and Changes files updated. Documentatio...
2013-08-27 Karim BarkatiInstall, Readme and Changes files updated.