Sat, 01 Dec 2012 11:27:48 +0000Protect against redefining macros
mjsousa [Sat, 01 Dec 2012 11:27:48 +0000] rev 760
Protect against redefining macros

Tue, 27 Nov 2012 17:20:16 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Tue, 27 Nov 2012 17:20:16 +0000] rev 759
merge

Tue, 27 Nov 2012 17:01:41 +0100Fix flag to enable conversion functions.
Manuele Conti <conti.ma@alice.it> [Tue, 27 Nov 2012 17:01:41 +0100] rev 758
Fix flag to enable conversion functions.

Tue, 27 Nov 2012 15:49:05 +0000Code cleanup: move tracking functions to flex.
Mario de Sousa <msousa@fe.up.pt> [Tue, 27 Nov 2012 15:49:05 +0000] rev 757
Code cleanup: move tracking functions to flex.