Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-23 19:44:07 -0700 (Thu, 23 Apr 1998)
Revision: 2152
Log message:

      Added more extensive debugging capabilities.
      

Changes	Path
+3 -1	metaprl/clib/Makefile
Added	metaprl/clib/debug.c
Properties	metaprl/clib/debug.c
Added	metaprl/clib/debug.h
Properties	metaprl/clib/debug.h
Added	metaprl/clib/ml_debug.c
Properties	metaprl/clib/ml_debug.c
Added	metaprl/clib/ml_debug.h
Properties	metaprl/clib/ml_debug.h
+1 -1	metaprl/editor/ml/Makefile
+11 -0	metaprl/editor/ml/package_df.ml
+11 -3	metaprl/editor/ml/package_info.ml
+11 -0	metaprl/editor/ml/package_int.ml
+10 -0	metaprl/editor/ml/proof.ml
+11 -0	metaprl/editor/ml/proof_edit.ml
+11 -0	metaprl/editor/ml/proof_step.ml
+10 -0	metaprl/editor/ml/shell.ml
+11 -0	metaprl/editor/ml/shell_null.ml
+11 -0	metaprl/editor/ml/shell_rewrite.ml
+0 -1	metaprl/filter/Makefile
+11 -0	metaprl/filter/buffer.ml
+11 -0	metaprl/filter/filter_ast.ml
+9 -0	metaprl/filter/filter_bin.ml
+9 -1	metaprl/filter/filter_cache.ml
+19 -11	metaprl/filter/filter_cache_fun.ml
+11 -0	metaprl/filter/filter_comment.ml
+11 -0	metaprl/filter/filter_hash.ml
+28 -20	metaprl/filter/filter_html.ml
+9 -0	metaprl/filter/filter_main.ml
+9 -0	metaprl/filter/filter_ocaml.ml
+14 -6	metaprl/filter/filter_parse.ml
+56 -48	metaprl/filter/filter_prog.ml
+11 -0	metaprl/filter/filter_proof.ml
+9 -0	metaprl/filter/filter_summary.ml
+11 -0	metaprl/filter/filter_summary_base.ml
+10 -2	metaprl/filter/filter_summary_io.ml
+10 -2	metaprl/filter/filter_summary_util.ml
+10 -0	metaprl/filter/filter_util.ml
+10 -0	metaprl/filter/free_vars.ml
+3 -0	metaprl/filter/infix.ml
+11 -0	metaprl/filter/mLast_util.ml
+9 -0	metaprl/filter/prlcomp.ml
+13 -5	metaprl/filter/term_grammar.ml
+11 -0	metaprl/filter/term_quote.ml
+1 -0	metaprl/mllib/Makefile
+39 -4	metaprl/mllib/debug.ml
+39 -4	metaprl/mllib/debug.mli
Added	metaprl/mllib/debug_set.ml
Properties	metaprl/mllib/debug_set.ml
Added	metaprl/mllib/debug_set.mli
Properties	metaprl/mllib/debug_set.mli
+12 -9	metaprl/mllib/file_base.ml
+11 -0	metaprl/refiner/dform.ml
+11 -0	metaprl/refiner/dform_print.ml
+9 -0	metaprl/refiner/ml_file.ml
+9 -0	metaprl/refiner/ml_print.ml
+17 -0	metaprl/refiner/ml_string.ml
+10 -0	metaprl/refiner/opname.ml
+22 -13	metaprl/refiner/refine.ml
+9 -0	metaprl/refiner/refine_exn.ml
+11 -0	metaprl/refiner/refine_util.ml
+11 -1	metaprl/refiner/rewrite.ml
+10 -1	metaprl/refiner/rformat.ml
+19 -10	metaprl/refiner/simple_print.ml
+9 -0	metaprl/refiner/term.ml
+10 -0	metaprl/refiner/term_dtable.ml
+11 -0	metaprl/refiner/term_stable.ml
+10 -0	metaprl/refiner/term_table.ml
+11 -0	metaprl/refiner/term_template.ml
+9 -0	metaprl/refiner/term_util.ml
+11 -0	metaprl/refiner/theory.ml
+17 -0	metaprl/theories/base/base_dform.ml
+11 -0	metaprl/theories/base/base_dtactic.ml
+8 -0	metaprl/theories/base/evaluator.ml
+11 -0	metaprl/theories/base/nuprl_font.ml
+11 -0	metaprl/theories/base/perv.ml
+11 -0	metaprl/theories/base/summary.ml
+11 -0	metaprl/theories/base/typeinf.ml
+10 -0	metaprl/theories/itt/itt_atom.ml
+10 -0	metaprl/theories/itt/itt_dfun.ml
+10 -0	metaprl/theories/itt/itt_dprod.ml
+10 -0	metaprl/theories/itt/itt_equal.ml
+11 -0	metaprl/theories/itt/itt_ext_equal.ml
+10 -0	metaprl/theories/itt/itt_fun.ml
+10 -0	metaprl/theories/itt/itt_int.ml
+10 -0	metaprl/theories/itt/itt_isect.ml
+10 -0	metaprl/theories/itt/itt_list.ml
+10 -0	metaprl/theories/itt/itt_logic.ml
+10 -0	metaprl/theories/itt/itt_prec.ml
+10 -0	metaprl/theories/itt/itt_prod.ml
+10 -0	metaprl/theories/itt/itt_quotient.ml
+8 -0	metaprl/theories/itt/itt_redrules.ml
+10 -0	metaprl/theories/itt/itt_rfun.ml
+10 -0	metaprl/theories/itt/itt_set.ml
+10 -0	metaprl/theories/itt/itt_soft.ml
+11 -0	metaprl/theories/itt/itt_squash.ml
+10 -0	metaprl/theories/itt/itt_srec.ml
+10 -0	metaprl/theories/itt/itt_struct.ml
+10 -0	metaprl/theories/itt/itt_subtype.ml
+10 -0	metaprl/theories/itt/itt_union.ml
+10 -0	metaprl/theories/itt/itt_unit.ml
+10 -0	metaprl/theories/itt/itt_void.ml
+10 -0	metaprl/theories/itt/main.ml
+11 -0	metaprl/theories/tactic/options.ml
+11 -0	metaprl/theories/tactic/sequent.ml
+11 -0	metaprl/theories/tactic/tactic_cache.ml
+4 -0	metaprl/theories/tactic/tactic_type.mlz
+11 -0	metaprl/theories/tactic/tacticals.ml
+11 -0	metaprl/theories/tactic/var.ml