Thu, 08 Sep 2011 20:25:00 +0200Merge with 01068ccb73b202b2872d4117ad01984bac956cbb
laurent [Thu, 08 Sep 2011 20:25:00 +0200] rev 375
Merge with 01068ccb73b202b2872d4117ad01984bac956cbb

Thu, 01 Sep 2011 21:32:57 +0200Fix make on system without mercurial installed.
Manuele Conti <conti.ma@alice.it> [Thu, 01 Sep 2011 21:32:57 +0200] rev 374
Fix make on system without mercurial installed.

Wed, 31 Aug 2011 19:29:47 +0100delete code no longer needed.
Mario de Sousa <msousa@fe.up.pt> [Wed, 31 Aug 2011 19:29:47 +0100] rev 373
delete code no longer needed.

Wed, 31 Aug 2011 14:51:59 +0100Implement get_type_decl(), as it seems Manuele will need it later...
Mario de Sousa <msousa@fe.up.pt> [Wed, 31 Aug 2011 14:51:59 +0100] rev 372
Implement get_type_decl(), as it seems Manuele will need it later...

Wed, 31 Aug 2011 14:10:53 +0100Cleaning up: Getting some sense into the code handling structures.
Mario de Sousa <msousa@fe.up.pt> [Wed, 31 Aug 2011 14:10:53 +0100] rev 371
Cleaning up: Getting some sense into the code handling structures.

Thu, 25 Aug 2011 17:22:44 +0200Add automatic HG changeset id information in "-v" param
Matteo Facchinetti [Thu, 25 Aug 2011 17:22:44 +0200] rev 370
Add automatic HG changeset id information in "-v" param