Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-09 01:14:43 -0800 (Tue, 09 Mar 2004)
Revision: 5441
Log message:

      Cleaned up the "extends" directives a bit.
      

Changes	Path
+1 -1	metaprl/support/tactics/auto_tactic.ml
+0 -1	metaprl/support/tactics/auto_tactic.mli
+1 -1	metaprl/support/tactics/top_conversionals.ml
+1 -1	metaprl/support/tactics/top_conversionals.mli
+1 -1	metaprl/support/tactics/top_tacticals.ml
+4 -4	metaprl/support/tactics/top_tacticals.mli
+2 -0	metaprl/theories/base/base_trivial.mli
+9 -15	metaprl/theories/experimental/compile/m_ast.ml
+8 -8	metaprl/theories/experimental/compile/m_ast.mli
+1 -1	metaprl/theories/experimental/compile/m_closure.ml
+1 -0	metaprl/theories/experimental/compile/m_closure.mli
+8 -29	metaprl/theories/experimental/compile/m_cps.ml
+1 -0	metaprl/theories/experimental/compile/m_inline.ml
+1 -0	metaprl/theories/experimental/compile/m_inline.mli
+3 -1	metaprl/theories/experimental/compile/m_ir.ml
+3 -1	metaprl/theories/experimental/compile/m_ir.mli
+1 -7	metaprl/theories/experimental/compile/m_ir_ast.ml
+1 -0	metaprl/theories/experimental/compile/m_ir_ast.mli
+5 -20	metaprl/theories/experimental/compile/m_post_parsing.ml
+1 -0	metaprl/theories/experimental/compile/m_standardize.ml
+1 -0	metaprl/theories/experimental/compile/m_standardize.mli
+0 -7	metaprl/theories/experimental/compile/m_util.ml
+0 -1	metaprl/theories/experimental/compile/m_util.mli
+0 -1	metaprl/theories/experimental/compile/m_x86_inst_type.mlz
+0 -1	metaprl/theories/experimental/compile/m_x86_opt.ml
+0 -1	metaprl/theories/experimental/compile/m_x86_opt.mli
+1 -5	metaprl/theories/experimental/compile/m_x86_regalloc.ml
+0 -5	metaprl/theories/experimental/compile/m_x86_regalloc.mli
+0 -1	metaprl/theories/experimental/compile/m_x86_spill.ml
+0 -1	metaprl/theories/experimental/compile/m_x86_spill.mli
+1 -0	metaprl/theories/experimental/compile/m_x86_term.ml
+1 -0	metaprl/theories/experimental/compile/m_x86_term.mli