chiark / gitweb /
notation: strip word "merge" from \setmergeof etc.; use new definition of \commitmerg...
[topbloke-formulae.git] / trav-alg.tex
2012-06-09 Ian Jacksonstrategy: amendments from p27-28
2012-05-28 Ian Jacksonstrategy: wip proofs
2012-05-27 Ian Jacksonstrategy: split into more files