Sat, 31 Mar 2012 21:46:37 +0100merging with Lauren't changeset.
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 21:46:37 +0100] rev 500
merging with Lauren't changeset.

Sat, 31 Mar 2012 21:36:17 +0100merge with Laurent's changeset (essentially ignore all changes).
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 21:36:17 +0100] rev 499
merge with Laurent's changeset (essentially ignore all changes).

Sat, 31 Mar 2012 21:34:20 +0100merge with Laurent's changeset (essentially, ignore all changes).
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 21:34:20 +0100] rev 498
merge with Laurent's changeset (essentially, ignore all changes).

Sat, 31 Mar 2012 15:36:08 +0100merging with Laurent's changes.
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 15:36:08 +0100] rev 497
merging with Laurent's changes.

Sat, 31 Mar 2012 15:34:33 +0100merging with Laurent's change.
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 15:34:33 +0100] rev 496
merging with Laurent's change.

Sat, 31 Mar 2012 15:30:38 +0100merging with Laurent's revision 55b074ea7255 (essentially ignoring all changes)
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 15:30:38 +0100] rev 495
merging with Laurent's revision 55b074ea7255 (essentially ignoring all changes)

Thu, 29 Mar 2012 19:03:40 +0100Add coment warning about incorrect implementation of the NE standard function.
Mario de Sousa <msousa@fe.up.pt> [Thu, 29 Mar 2012 19:03:40 +0100] rev 494
Add coment warning about incorrect implementation of the NE standard function.

Thu, 29 Mar 2012 18:57:53 +0100merging with Laurent's patch.
Mario de Sousa <msousa@fe.up.pt> [Thu, 29 Mar 2012 18:57:53 +0100] rev 493
merging with Laurent's patch.

Thu, 29 Mar 2012 15:39:38 +0100Print correct error message when handling IL function calls.
Mario de Sousa <msousa@fe.up.pt> [Thu, 29 Mar 2012 15:39:38 +0100] rev 492
Print correct error message when handling IL function calls.

Thu, 15 Mar 2012 13:23:09 +0000Edit error message.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 13:23:09 +0000] rev 491
Edit error message.