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.
Mario de Sousa <msousa@fe.up.pt> [Fri, 19 Aug 2011 17:33:57 +0100] rev 354
Fixing automake configuration to work properly with flex and bison.