torch/torch7 — pull request #1 by gregwayne (2014-01-29 19:11:41+00:00)
Title: Clarified timer documentation

A stopped timer cannot be restarted by a reset call. This fact is now indicated in both the reset and the stop description.