Mon, 04 Apr 2011 13:25:39 +0200Merge with changes from Mario
Edouard Tisserant [Mon, 04 Apr 2011 13:25:39 +0200] rev 270
Merge with changes from Mario

Mon, 04 Apr 2011 11:19:48 +0100Fixing stupid bug (that was disabling code generation).
Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Apr 2011 11:19:48 +0100] rev 269
Fixing stupid bug (that was disabling code generation).

Mon, 04 Apr 2011 10:48:30 +0100Adding Makefile for Darwin (thanks go to Manuele)
Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Apr 2011 10:48:30 +0100] rev 268
Adding Makefile for Darwin (thanks go to Manuele)