removed obsolete marginalia
authorNorman Ramsey <nr@cs.tufts.edu>
Tue, 27 Jul 2010 04:10:29 +0000 (00:10 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Tue, 27 Jul 2010 04:10:29 +0000 (00:10 -0400)
commitbeb1ce25ed3c07733d9a6af59046f35826cc900d
tree6ab11301814f68a39e9059a693380555564f2fe7
parent6890238f74d169c8cce589c94284df9aa543ca92
removed obsolete marginalia
paper/dfopt.tex