On Wed, 18 Jan 2006 19:40:18 +0100 Frank Barknecht fbar@footils.org wrote:
I also used [timer] for timing instead of metro, because it's a bit easier to patch: Just divide by 1000 and use [div 60] and [mod 60] and some [makefilename] tricks. (You cannot pause [timer] so you may not want to follow this.)
just a short comment ... i stopped using such a clock, since it's a wonderful way to fill up the global symbol table ...
t