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.