RepoMirrors/mars
1
0
Fork 0
mirror of https://github.com/schoebel/mars synced 2025-01-13 18:44:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

doc: add primitive real-time

Browse Source
This commit is contained in:
Thomas Schoebel-Theuer 2018-01-31 11:38:43 +01:00
parent 09a16b1e6b
commit 33c14d9d0b
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
docu/mars-manual.lyx
View File

@ -16352,6 +16352,15 @@ reference "sec:The-Lamport-Clock"
\begin_layout Itemize
\family typewriter
%real-time{}
\family default
Return the current system clock timestamp, in units of seconds since the
Unix epoch.
\end_layout
\begin_layout Itemize
\family typewriter
%sleep{
\emph on