Refactor the statistics gathering code in run.ml
[tatoo.git] / INSTALL
2013-04-18 Kim NguyễnAdd an INSTALL file.