Next:
Timer management
, Previous:
notion of redefinition/refinement
, Up:
Missing Documentation
10.6 The logging model