chiark / gitweb /
merge ends conditions change order of precondition to put M in middle, for clarity
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 15 Mar 2012 19:20:27 +0000 (19:20 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 15 Mar 2012 19:20:27 +0000 (19:20 +0000)
commit8addc4c379707bd89ab14defc11914a85ee45254
tree96b5cf879b7d1d683f180337821411dd1fae624c
parentcb503667cf48ac0666a8a57ddc5ef8380886d4b9
merge ends conditions change order of precondition to put M in middle, for clarity
article.tex