Friday's edits from Simon
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 11 Jun 2010 12:52:14 +0000 (13:52 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 11 Jun 2010 12:52:14 +0000 (13:52 +0100)
commite2ef0b1d03679efe22ef150a306ef0f5112ec2ba
treee72fff3e7f94b05836b40ba473ea05c1cfb97324
parent7e15a627f44794e4670e23dd21737a60fe50a529
Friday's edits from Simon
paper/dfopt.tex