Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-27 18:14:28 -0800 (Thu, 27 Mar 2003)
Revision: 4264
Log message:

      Make sure it actually compiles with MP_DEBUG=spell. The problem was that the
      emacs-oriented comment in the end of each file had been the (*!...*) doc comment,
      so the system tried to spell check it. I moved the @docoff's out of it (note - I
      may have been too agressive with @docoff placement, do we want the tactics and
      resource code to be displayed or @docoff'ed?) and made them be normal comments.
      

Changes  Path
+1 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_closure.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_cps.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_dead.ml
+7 -10 metaprl-branches/lm_libmojave/theories/experimental/compile/m_inline.ml
+13 -14 metaprl-branches/lm_libmojave/theories/experimental/compile/m_ir.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_prog.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_asm.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_codegen.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_opt.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_spill.ml