Fri, 31 Aug 2012 10:11:19 +0100 | Mario de Sousa | Remove comment no longer valid since introduction of constant folding. | changeset | files |
Thu, 30 Aug 2012 16:44:29 +0100 | Mario de Sousa | Add some comments. | changeset | files |
Thu, 30 Aug 2012 15:06:32 +0200 | Manuele Conti | Update configure script. | changeset | files |