Thu, 21 Apr 2011 11:22:13 +0200Removed dead code
Edouard Tisserant [Thu, 21 Apr 2011 11:22:13 +0200] rev 291
Removed dead code

Thu, 14 Apr 2011 19:17:20 +0100Fixing implementation of CU, CD, and CUD in standard library.
Mario de Sousa <msousa@fe.up.pt> [Thu, 14 Apr 2011 19:17:20 +0100] rev 290
Fixing implementation of CU, CD, and CUD in standard library.

Thu, 14 Apr 2011 19:02:35 +0100Deleting dead code.
Mario de Sousa <msousa@fe.up.pt> [Thu, 14 Apr 2011 19:02:35 +0100] rev 289
Deleting dead code.

Thu, 14 Apr 2011 18:55:31 +0100Merging changes.
Mario de Sousa <msousa@fe.up.pt> [Thu, 14 Apr 2011 18:55:31 +0100] rev 288
Merging changes.