chiark / gitweb /
notation: define \stmtmergeof and \setmergeof
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:23:02 +0000 (17:23 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:23:02 +0000 (17:23 +0100)
commit6256831867d9cb3c135bbc73dad80db2a8677754
treee98a93a216ed562d638bbdb1f09c36ec9726e833
parentf37f5921918bb8b2af6f617844370ce3a7441992
notation: define \stmtmergeof and \setmergeof
article.tex
notation.tex