clean up the typesetting in the appendices
authorNorman Ramsey <nr@cs.tufts.edu>
Fri, 30 Jul 2010 20:10:08 +0000 (16:10 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Fri, 30 Jul 2010 20:10:08 +0000 (16:10 -0400)
commitfc860a697db010ada6f29af39ef47a1d3c1033d8
tree5a49106b84b4e81c37d6ebd3650819773e048f03
parent622d6a3fcc7b20ee175702227be5900c57b3d7a3
clean up the typesetting in the appendices

(and remove tab characters from the source)
paper/dfopt.tex
paper/mkfile
src/Compiler/Hoopl/Dataflow.hs