[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

5.27 $ZHOROLOG

Output $HOROLOG-style time, with the addition of milliseconds.


This document was generated on March 27, 2025 using texi2html 5.0.