chiark / gitweb /
strategy: notational fix
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 28 May 2012 00:11:52 +0000 (01:11 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 28 May 2012 00:11:52 +0000 (01:11 +0100)
commitc497f56e8a7f09c4c328bd7560631d8773b7e676
treea0dbdf3d5b8aa304994d4b6b4b4919377ca29e34
parent5c02a85042852a79c36cd67c1c0b6778ffd5eff1
strategy: notational fix
strategy.tex