Quoting :doc note-6-4:

| (GCL only) Time reporting has been improved when the host Lisp is Gnu Common
| Lisp.  A key change was made in the computation of runtime (for example, to
| report in event summaries), so that it includes the ``child runtime''.
| See :DOC GET-INTERNAL-TIME.  Also, the utility time$ now gives improved
| information by including child runtime information, which can be significant;
| for example, it probably includes compile time, while the ``seconds runtime''
| statistic (still) does not.  Recent versions of GCL might also provide system
| runtime and child system runtime.  See :DOC TIME$.  Thanks to Camm Maguire for
| suggesting these improvements to time$ and providing an initial
| implementation for them.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1124 5d84a466-a78b-0930-a311-59b22171a541