Mon, 17 Nov 2008 21:14:43 +01001.2
peter [Mon, 17 Nov 2008 21:14:43 +0100] rev 525
1.2

Mon, 17 Nov 2008 21:11:59 +01001.29 Datatypes for timers
peter [Mon, 17 Nov 2008 21:11:59 +0100] rev 524
1.29 Datatypes for timers

Fri, 14 Nov 2008 15:50:08 +0100Fixed bug in Node.py function IsStringType : add domain type
greg [Fri, 14 Nov 2008 15:50:08 +0100] rev 523
Fixed bug in Node.py function IsStringType : add domain type

Fri, 14 Nov 2008 15:36:31 +0100Fixed serious bug in setAlarm, causing wrong timer duration when setAlarm not called long after timeDispatch.
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.