Mon, 06 Feb 2012 18:32:11 +0000More detailed error messages in function invocations in ST.
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 18:32:11 +0000] rev 430
More detailed error messages in function invocations in ST.

Mon, 06 Feb 2012 14:21:08 +0000Fix bug in analysing real literals (thanks Andreas!)
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 14:21:08 +0000] rev 429
Fix bug in analysing real literals (thanks Andreas!)

Mon, 06 Feb 2012 14:15:31 +0000Remove debugging messages, and code cleanup.
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 14:15:31 +0000] rev 428
Remove debugging messages, and code cleanup.