changeset: 3532:e0e84d10eac8 branch: cakernel tag: tip parent: 3529:04bf93be4d90 user: Ian Hinder <ian.hinder at aei.mpg.de> date: Tue May 01 11:52:39 2012 +0200 summary: Optionally include timer history in XML output