Mario de Sousa <msousa@fe.up.pt> [Sat, 29 Oct 2011 18:56:25 +0100] rev 386
Fix semantic verification of enumerated data types.
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.
Edouard Tisserant [Thu, 20 Oct 2011 00:41:44 +0200] rev 384
fixed signedness warning on string slicing funcs in std lib