Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-16 20:29:16 -0700 (Thu, 16 Oct 2003)
Revision: 213
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.
      

Changes	Path
+1 -1	libmojave/stdlib/lm_rformat.ml