peter [Mon, 17 Nov 2008 21:11:59 +0100] rev 524
1.29 Datatypes for timers
greg [Fri, 14 Nov 2008 15:50:08 +0100] rev 523
Fixed bug in Node.py function IsStringType : add domain type
greg [Fri, 14 Nov 2008 15:36:31 +0100] rev 522
Fixed serious bug in setAlarm, causing wrong timer duration when setAlarm not called long after timeDispatch.