dylan-lang/opendylan — pull request #641 by waywardmonkeys (2014-01-06 10:28:00+00:00)
Title: [common-dylan] Rename <timer> to <profiling-timer>.

I know this was just introduced and I'm already wanting to rename it, but I didn't like the namespace pollution since ```` could also be used for something that has a callback after a period of time has elapsed.

Given that, I am not sure about renaming the other parts of this API, so I'm interested in hearing what people think.