mario [Sat, 17 Nov 2007 10:08:38 +0100] rev 97
adding comments.
-----------------------------------------------------------
mario [Sat, 17 Nov 2007 09:44:14 +0100] rev 96
Adding some basic error cheching.
mario [Sat, 17 Nov 2007 09:20:44 +0100] rev 95
Changing format of error reporting.
mario [Fri, 16 Nov 2007 15:48:34 +0100] rev 94
Fixing some more comments.