chiark / gitweb /
create-base: Add a $\qed$
[topbloke-formulae.git] / ranking.tex
2013-08-10 Ian Jacksonstrategy: define w (as w(P) rather than w(H)
2012-07-07 Ian Jacksonnotation: we have defined \setmerge now
2012-06-09 Ian Jacksonstrategy: calculate/use \allsrcs
2012-05-27 Ian Jacksonstrategy: split into more files