Tue, 27 Nov 2012 23:47:22 +0100Merge with Mario's changes.
Manuele Conti <conti.ma@alice.it> [Tue, 27 Nov 2012 23:47:22 +0100] rev 769
Merge with Mario's changes.

Thu, 20 Dec 2012 10:46:51 +0100Merge with Mario's repository.
Manuele Conti <conti.ma@alice.it> [Thu, 20 Dec 2012 10:46:51 +0100] rev 768
Merge with Mario's repository.

Thu, 20 Dec 2012 10:42:01 +0100Fix warning about call fprintf without format string.
Manuele Conti <conti.ma@alice.it> [Thu, 20 Dec 2012 10:42:01 +0100] rev 767
Fix warning about call fprintf without format string.

Mon, 03 Dec 2012 18:44:16 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Mon, 03 Dec 2012 18:44:16 +0000] rev 766
merge