Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 13:23:09 +0000] rev 491
Edit error message.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 13:18:02 +0000] rev 490
Add EXPT widen table.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 12:50:44 +0000] rev 489
Some stupid code cleanups.