chiark / gitweb /
notation: strip word "merge" from \setmergeof etc.; use new definition of \commitmerg...
[topbloke-formulae.git] / notationtest.tex
2012-07-07 Ian Jacksonnotation: strip word "merge" from \setmergeof etc....