# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 999971121 0
# Node ID 557aaff6fb2378eda3a1bdaf33343cdf5d268fbd
# Parent  534f7d0b195c00e3958aa38d01ce30b74467a54a
(Time of Day): Document float-time.
(Recording Input): Document that clear-this-command-keys clears
the vector returned by recent-keys.

diff -r 534f7d0b195c -r 557aaff6fb23 lispref/os.texi
--- a/lispref/os.texi	Sat Sep 08 17:44:36 2001 +0000
+++ b/lispref/os.texi	Sat Sep 08 17:45:21 2001 +0000
@@ -995,6 +995,18 @@
 (see above) and from @code{file-attributes} (@pxref{File Attributes}).
 @end defun
 
+@defun float-time &optional time-value
+This function returns the current time as a floating-point number of
+seconds since the epoch.  The argument @var{time-value}, if given,
+specifies a time to convert instead of the current time.  The argument
+should have the same form as for @code{current-time-string} (see
+above), and it also accepts the output of @code{current-time} and
+@code{file-attributes}.
+
+@emph{Warning}: Since the result is floating point, it may not be
+exact.  Do not use this function if precise time stamps are required.
+@end defun
+
 @node Time Conversion
 @section Time Conversion
 
@@ -1619,6 +1631,9 @@
 100 input events, not counting events generated by keyboard macros.
 (These are excluded because they are less interesting for debugging; it
 should be enough to see the events that invoked the macros.)
+
+A call to @code{clear-this-command-keys} (@pxref{Command Loop Info})
+causes this function to return an empty vector.
 @end defun
 
 @deffn Command open-dribble-file filename