diff options
| author | Hans Hagen <pragma@wxs.nl> | 2020-06-25 12:13:32 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2020-06-25 12:13:32 +0200 |
| commit | 2e657baa195eb8a5011a0f08eeb32bd3396ea1bf (patch) | |
| tree | 183b7c9ce7a4f897c57743d6bbfe31ab0db42495 /doc/context/sources/general/manuals/cld/cld-luafunctions.tex | |
| parent | 56c53b52bfa815946a62fdb28ee432b5d849b9c9 (diff) | |
| download | context-2e657baa195eb8a5011a0f08eeb32bd3396ea1bf.tar.gz | |
2020-06-25 10:58:00
Diffstat (limited to 'doc/context/sources/general/manuals/cld/cld-luafunctions.tex')
| -rw-r--r-- | doc/context/sources/general/manuals/cld/cld-luafunctions.tex | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/doc/context/sources/general/manuals/cld/cld-luafunctions.tex b/doc/context/sources/general/manuals/cld/cld-luafunctions.tex index b2760e05b..c48b852fb 100644 --- a/doc/context/sources/general/manuals/cld/cld-luafunctions.tex +++ b/doc/context/sources/general/manuals/cld/cld-luafunctions.tex @@ -2306,20 +2306,22 @@ one provided by \LUATEX\ as it is more precise: os.gettimeofday() \stoptyping -There is also a more extensive variant: - -\starttyping -os.times() -\stoptyping - -This one is platform dependent and returns a table with \type {utime} (use time), -\type {stime} (system time), \type {cutime} (children user time), and \type -{cstime} (children system time). +% % This one is gone in luametatex: +% +% There is also a more extensive variant: +% +% \starttyping +% os.times() +% \stoptyping +% +% This one is platform dependent and returns a table with \type {utime} (use time), +% \type {stime} (system time), \type {cutime} (children user time), and \type +% {cstime} (children system time). \stopsummary \ShowLuaExampleThree {os} {gettimeofday} {} -\ShowLuaExampleTwo {os} {times} {} +%ShowLuaExampleTwo {os} {times} {} \startsummary[title={runtime}] |