Mario de Sousa <msousa@fe.up.pt> [Fri, 19 Aug 2011 21:53:11 +0100] rev 357
Some more comments on how to build, and correcting name of README.build file.
Mario de Sousa <msousa@fe.up.pt> [Fri, 19 Aug 2011 20:57:49 +0100] rev 356
Include the declaration of standard functions (incorrectly removed in previous commit)
Mario de Sousa <msousa@fe.up.pt> [Fri, 19 Aug 2011 20:48:05 +0100] rev 355
Merging with Laurent's repository.