Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-03-13 11:56:11 -0800 (Tue, 13 Mar 2001)
Revision: 3180
Log message:

      Added the list of all the MetaPRL debug variables to the Developer's Guide.
      

Changes	Path
+79 -4	metaprl/doc/htmlman/developer-guide/debugging.html
+1 -1	metaprl/editor/ml/shell_http.ml
+1 -1	metaprl/ensemble/appl_outboard_client.ml
+7 -7	metaprl/ensemble/remote_ensemble.ml
+1 -1	metaprl/mllib/http_server.ml
+5 -5	metaprl/mllib/mp_debug.ml
+6 -6	metaprl/refiner/rewrite/rewrite_util.ml
+1 -1	metaprl/refiner/term_ds/term_base_ds.ml