Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-06-10 17:41:09 -0700 (Tue, 10 Jun 2003)
Revision: 4655
Log message:

      Minor updates to m-paper headers.
      
      Note: in the ICFP's ACM style (9pt, two column), the paper is 12-13 paper long
      (the limit is 15), but with any "honest" style (e.g., article) it's 25 or more...
      

Changes  Path
+8 -7 metaprl/doc/latex/theories/Makefile
+9 -7 metaprl/doc/latex/theories/m-paper.tex
+2 -2 texinputs/draftfooter.sty