chiark / gitweb /
strategy: new, wip, notational fixes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 17:57:16 +0000 (18:57 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 17:57:16 +0000 (18:57 +0100)
commit5dcbf70314a603f304c34e5cdebfc7e6914eb676
tree295dbc573124f8173e117ac091e05bdb948e4390
parent64a3ef281cdbfa63f1c306222d6e3e2b507d21a0
strategy: new, wip, notational fixes
article.tex
strategy.tex