Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-08-01 02:31:10 -0700 (Fri, 01 Aug 2003)
Revision: 4801
Log message:

      A little hacking on the M-paper ::
      
      
      Fixed some formatting inconsistencies and moved some figure
      declarations around so that they are declared in the ``correct''
      locations (right after the paragraph in which they are first
      referenced, according to the LNCS style).
      
      Of course, having adhered to that little bit of the LNCS style, I
      go ahead and override their figure placement policy in m-paper.tex
      (look for the bit of code tagged with EMRE).  Personally, I
      dislike figures appearing in the middle of a page.  My policy may
      have an added bonus of shortening the paper slightly (by 1/2 a
      page at some point) over the LNCS default.
      
      Observation: The placement of figures 4--7 is hit-or-miss.  Either
      you get something reasonable, or two of them end up on their own
      page and waste _a lot_ of space.
      
      Another observation: if you delete the blank line before every
      $$...$$ environment and ensure that out of figures 4--7, 3 of them
      end up on the same page, you can get the paper down to 24 pages.
      I'm not quite sure why so much white space appears before these
      environments...
      
      I think that if you want to shorten the paper any further,
      probably more text will have to be cut (intro, summary, related
      work?).  If I get a chance, maybe I'll try to come up with more
      ideas in the morning.
      

Changes  Path
+6 -0 metaprl/doc/latex/theories/m-paper.tex
+10 -5 metaprl/theories/experimental/compile/m_doc_intro.ml
+22 -22 metaprl/theories/experimental/compile/m_doc_ir.ml
+29 -29 metaprl/theories/experimental/compile/m_doc_parsing.ml
+7 -7 metaprl/theories/experimental/compile/m_doc_summary.ml
+5 -5 metaprl/theories/experimental/compile/m_doc_x86_asm.ml
+33 -33 metaprl/theories/experimental/compile/m_doc_x86_codegen.ml