chiark / gitweb /
strategy: wip, notation changes, finished planning we think
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Apr 2012 11:22:19 +0000 (12:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Apr 2012 11:22:19 +0000 (12:22 +0100)
commitedd89d19f03e82b54c2999319ac48fe20173ff6e
treea79fec1e49edda40a3c938343fb8f814dfd8f07b
parent501e8f577ffa9fac675f65a15673914c10fe3aba
strategy: wip, notation changes, finished planning we think
article.tex
strategy.tex