Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-01 10:17:06 -0700 (Fri, 01 Aug 2003)
Revision: 4802
Log message:

      Some minor formatting changes.
      

Changes	Path
+1 -1	metaprl/OMakefile
+2 -1	metaprl/doc/latex/theories/m-paper.tex
+1 -0	metaprl/theories/experimental/compile/Makefile
+3 -3	metaprl/theories/experimental/compile/OMakefile
+8 -8	metaprl/theories/experimental/compile/m_doc_comment.ml
+2 -0	metaprl/theories/experimental/compile/m_doc_comment.mli
+2 -0	metaprl/theories/experimental/compile/m_doc_intro.ml
+9 -6	metaprl/theories/experimental/compile/m_doc_ir.ml
+9 -7	metaprl/theories/experimental/compile/m_doc_parsing.ml
+9 -6	metaprl/theories/experimental/compile/m_doc_x86_asm.ml