Some cleanup in 5.0 and 5.1
authorJoao Dias <dias@cs.tufts.edu>
Fri, 11 Jun 2010 23:32:21 +0000 (19:32 -0400)
committerJoao Dias <dias@cs.tufts.edu>
Fri, 11 Jun 2010 23:32:21 +0000 (19:32 -0400)
commit7780f44229faa76ef315f6c0f8b14453a0f9bbfd
treea3e496f3fad18386ed5979b162374a8657fe7620
parent5d3b80aecfb8f85248f11e39aed291376ed5e996
Some cleanup in 5.0 and 5.1
paper/dfopt.tex