Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-07-26 13:50:16 -0700 (Wed, 26 Jul 2000)
Revision: 3035
Log message:

      Moved the debugging (format_*) code around. Added more of it.
      

Changes	Path
+6 -5	metaprl/filter/boot/exn_boot.ml
+4 -133	metaprl/filter/boot/proof_boot.ml
+191 -64	metaprl/filter/boot/tactic_boot.ml
+7 -7	metaprl/filter/boot/tactic_boot_sig.mlz