I search a way to estimate the time spend on my project. Is there a way to calculate time between pull and record or pull and push? I'm working this way: Start work: darcs pull Important functionnality added: darcs record End work: darcs record then darcs push