Documentation work

docs/input.dox

@@ -554,8 +554,8 @@ glfwSetTime(4.0);
 
 This sets the timer to the specified time, in seconds.
 
-You can also access the raw timer value, in 1 / frequency seconds,
-with @ref glfwGetTimerValue.
+You can also access the raw timer value, measured in 1 / frequency
+seconds, with @ref glfwGetTimerValue.
 
 @code
 GLFWuint64 value = glfwGetTimerValue();

include/GLFW/glfw3.h

@@ -3573,8 +3573,9 @@ GLFWAPI void glfwSetTime(double time);
 
 /*! @brief Returns the current value of the raw timer.
  *
- *  This function returns the current value of the raw timer.  To get its
- *  frequency, call @ref glfwGetTimerFrequency.
+ *  This function returns the current value of the raw timer, measured in
+ *  1 / frequency seconds.  To get the frequency, call @ref
+ *  glfwGetTimerFrequency.
  *
  *  @return The value of the timer, or zero if an 
  *  [error](@ref error_handling) occurred.