Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-01 11:12:01 -0700 (Fri, 01 Aug 2003)
Revision: 4806
Log message:

      Reformatted some figures.
      

Changes	Path
+12 -12	metaprl/theories/experimental/compile/m_doc_ir.ml
+18 -18	metaprl/theories/experimental/compile/m_doc_x86_asm.ml
+12 -8	metaprl/theories/experimental/compile/m_doc_x86_codegen.ml