Fri, 31 Aug 2012 10:11:19 +0100Remove comment no longer valid since introduction of constant folding.
Mario de Sousa <msousa@fe.up.pt> [Fri, 31 Aug 2012 10:11:19 +0100] rev 651
Remove comment no longer valid since introduction of constant folding.

Thu, 30 Aug 2012 16:44:29 +0100Add some comments.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 16:44:29 +0100] rev 650
Add some comments.

Thu, 30 Aug 2012 15:06:32 +0200Update configure script.
Manuele Conti <manuele.conti@sirius-es.it> [Thu, 30 Aug 2012 15:06:32 +0200] rev 649
Update configure script.