731 |
"Return the current time as a string in \"HH:MM:SS\" form." |
"Return the current time as a string in \"HH:MM:SS\" form." |
732 |
(format-time-string "%T")) |
(format-time-string "%T")) |
733 |
|
|
734 |
|
(defun time-stamp-hhmmss () |
735 |
|
"Return the current time as a string in \"HHMMSS\" form." |
736 |
|
(format-time-string "%H%M%S")) |
737 |
|
|
738 |
(defun time-stamp-hhmm () |
(defun time-stamp-hhmm () |
739 |
"Return the current time as a string in \"HHMM\" form." |
"Return the current time as a string in \"HHMM\" form." |
740 |
(format-time-string "%H%M")) |
(format-time-string "%H%M")) |