Mon, 18 Jun 2012 15:52:09 +0100fix array bounds check.
Mario de Sousa <msousa@fe.up.pt> [Mon, 18 Jun 2012 15:52:09 +0100] rev 599
fix array bounds check.

Mon, 18 Jun 2012 15:37:37 +0100Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt> [Mon, 18 Jun 2012 15:37:37 +0100] rev 598
Fix stupid typos (in calculating array dimension)!

Sat, 16 Jun 2012 07:41:30 +0100Add file missing from previous commit.
Mario de Sousa <msousa@fe.up.pt> [Sat, 16 Jun 2012 07:41:30 +0100] rev 597
Add file missing from previous commit.