Mario de Sousa <msousa@fe.up.pt> [Fri, 29 Jul 2011 16:08:40 +0100] rev 353
Building compiler with autoconf. Thanks go to Matteo of sirius-es.it
Mario de Sousa <msousa@fe.up.pt> [Fri, 29 Jul 2011 16:06:38 +0100] rev 352
Support for semantic verification of calls to standard functions.
Removing files no longer required.
Mario de Sousa <msousa@fe.up.pt> [Fri, 29 Jul 2011 16:05:03 +0100] rev 351
Support for semantic verification of calls to standard function calls.
Adding missing files in previous commit.