chiark / gitweb /
strategy: notation: setmerge -> merge
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 18:48:02 +0000 (19:48 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 18:48:02 +0000 (19:48 +0100)
commit57b07d497639e94a7e43b305771beb0d30157d1b
tree82dab22015b1064f373230035e79c9f6d5a7f516
parented18b8e28af4811ea9854499baf725d1615f9391
strategy: notation: setmerge -> merge
article.tex