chiark / gitweb /
strategy: define w (as w(P) rather than w(H)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 17:21:13 +0000 (18:21 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 17:21:13 +0000 (18:21 +0100)
commitf8b525275e017d1a5e77cb31b033d54a52e19e2c
tree6c03b037dde5ae30110a90e836b6c551df1a0171
parent1768ad396360b5f7145450858b4bae1e9d1c7b05
strategy: define w (as w(P) rather than w(H)
ranking.tex
strategy.tex