Sat, 29 Oct 2011 18:56:25 +0100 Mario de Sousa Fix semantic verification of enumerated data types.
Fri, 28 Oct 2011 10:25:07 +0100 Mario de Sousa Adding a line to a comment. Does not change any code.