These files describe the MIPS code generator written by Norman Ramsey.
They were generated from the .nw files that are in the src/mips directories;
the .sml files were also generated from these .nw files.  To format the
whole thing, run     tex mips.tex
