final page-breaking and cross-reference
authorNorman Ramsey <nr@cs.tufts.edu>
Thu, 29 Jul 2010 19:13:47 +0000 (15:13 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Thu, 29 Jul 2010 19:13:47 +0000 (15:13 -0400)
commit30a7a88ad95263a4817b65190c25248dbc11f30f
treebd99baae609ec132dc2ba1549cb80cb5f275bda8
parent32dd4e9e6efbb7e25f933297f603de80be994f07
final page-breaking and cross-reference
paper/dfopt.tex