Bug: documentation section.property.time

[Grégoire Dooms]

Hello,
The page 
http://www.mozart-oz.org/documentation/system/node73.html#section.property.time
says:

detailed   yes   Bool   Only if true, the fields time.copy, time.gc, and 
time.propagate are updated accordingly.

time.run should be included in this list as it is equal to 0 if 
'time.detailed' is not set to true.

As suggested during the panel discussion, I'll post documentation bugs 
to this list (at least until we get a bugzilla bug database).
--
Grégoire Dooms