Wed, 18 Apr 2012 15:44:00 +0100Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Apr 2012 15:44:00 +0100] rev 523
Remove potential access to NULL pointer.

Wed, 18 Apr 2012 13:29:08 +0100Start having nicer stage 4 error messages.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Apr 2012 13:29:08 +0100] rev 522
Start having nicer stage 4 error messages.

Tue, 17 Apr 2012 17:41:58 +0200Improve usability command line under windows.
Conti Manuele <conti.ma@alice.it> [Tue, 17 Apr 2012 17:41:58 +0200] rev 521
Improve usability command line under windows.