mario [Thu, 01 Nov 2007 09:42:33 +0100] rev 75
Fixing handling of task initialisation.
mario [Sun, 28 Oct 2007 22:44:20 +0100] rev 74
fixing identifier issues of PRIORITY, SINGLE, and INTERVAL
mario [Sun, 28 Oct 2007 22:03:27 +0100] rev 73
fixing infinite error loops at library level, and ...