repaired all LaTeX warnings except on page 15 (the supplement)
authorNorman Ramsey <nr@cs.tufts.edu>
Sat, 24 Jul 2010 01:52:46 +0000 (21:52 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Sat, 24 Jul 2010 01:52:46 +0000 (21:52 -0400)
commitacc86e9c269bd95ab885fb1e111e5c882da18854
tree798f596765031021b0fec5bea586bfb30dc8e7cd
parentfb2742a1fe183ae48f2574d62a0c2dcef03ab862
repaired all LaTeX warnings except on page 15 (the supplement)
paper/dfopt.tex
testing/ConstProp.hs