Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-16 20:29:16 -0700 (Thu, 16 Oct 2003)
Revision: 5002
Log message:
Added two new deug_* variables:
- debug_full_terms : Print terms fully in debug messages
- debug_rules: Display rule applications
Refreshed the list of the debug variables in the Developer Guide.