Sat, 29 Oct 2011 18:56:25 +0100Fix semantic verification of enumerated data types.
Mario de Sousa <msousa@fe.up.pt> [Sat, 29 Oct 2011 18:56:25 +0100] rev 386
Fix semantic verification of enumerated data types.

Fri, 28 Oct 2011 10:25:07 +0100Adding a line to a comment. Does not change any code.
Mario de Sousa <msousa@fe.up.pt> [Fri, 28 Oct 2011 10:25:07 +0100] rev 385
Adding a line to a comment. Does not change any code.