chiark / gitweb /
notation: strip word "merge" from \setmergeof etc.; use new definition of \commitmerg...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:58:04 +0000 (17:58 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:58:04 +0000 (17:58 +0100)
commit8a69195a6c694ebddaf1d383ca0301041b05c2b4
tree40962d179e4e2302700334455bda82b1d31560e6
parent6421387b9888acd36b8fddc9b8bb6688f171acb4
notation: strip word "merge" from \setmergeof etc.; use new definition of \commitmerge based on \mergeof; commit the various other things we tried in notationtest for future reference
article.tex
notationtest.tex [new file with mode: 0644]