Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-22 16:07:58 -0700 (Fri, 22 Oct 2004)
Revision: 6248
Log message:

      A bit of standartization of debug variables:
      - the "debug_foo" variable should have debug_name set to "foo", not "debug_foo"
        (less typing on the command line this way)
      - debug_description should be the same for all the instances of the same variable
        and it should be sufficiently descriptive to be meaningful w/o knowing which
        file it came from (see http://metaprl.org/developer-guide/debugging.html)
      

Changes  Path
+19 -11 metaprl/doc/htmlman/developer-guide/debugging.html
+0 -9 metaprl/filter/phobos/phobos_state.ml
+6 -6 metaprl/refiner/reflib/arith.ml
+1 -1 metaprl/refiner/reflib/supinf.ml
+1 -1 metaprl/refiner/term_ds/term_base_ds.ml
+1 -1 metaprl/support/shell/shell_browser.ml
+1 -1 metaprl/support/shell/shell_state.ml
+1 -1 metaprl/tactics/ensemble/remote_ensemble.ml
+4 -4 metaprl/theories/itt/itt_int_arith.ml
+2 -2 metaprl/theories/itt/itt_int_base.ml
+2 -2 metaprl/theories/itt/itt_mpoly2.ml
+2 -2 metaprl/theories/itt/itt_mpoly3.ml
+3 -3 metaprl/theories/itt/itt_supinf.ml