| Did you know ... | Search Documentation: |
| Title for pldoc(default) |
[Apr 17 2014]
inherit_from(+Thread) to define the
thread from which all settings are copied.[Apr 16 2014]
user_outout does not exist
(is flushed before writing to user_error to ensure proper ordering
of buffered output).[Apr 16 2014]