chiark / gitweb /
strategy: new, wip, notational fixes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 17:43:47 +0000 (18:43 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 17:43:47 +0000 (18:43 +0100)
commit64a3ef281cdbfa63f1c306222d6e3e2b507d21a0
treefcffea948721c5a7d5fda471cc8c399513c149f4
parent29f2e80b8172eefb43a4dce9fad4070609e22dcf
strategy: new, wip, notational fixes
strategy.tex