From 2e657baa195eb8a5011a0f08eeb32bd3396ea1bf Mon Sep 17 00:00:00 2001 From: Hans Hagen Date: Thu, 25 Jun 2020 12:13:32 +0200 Subject: 2020-06-25 10:58:00 --- .../general/manuals/cld/cld-luafunctions.tex | 22 ++++++++++++---------- 1 file changed, 12 insertions(+), 10 deletions(-) (limited to 'doc/context/sources/general/manuals/cld/cld-luafunctions.tex') 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}] -- cgit v1.2.3