chiark / gitweb /
strategy: replace old \tip... macros
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 19:58:27 +0000 (20:58 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 19:58:27 +0000 (20:58 +0100)
commitcc2806a584319dd6210fb8a89d342d1110d8dc67
tree3768e5d39a6ae1e4048b544ad0ce4a26218d0c43
parentfdd5c703b15790389545f3b12264dbe24db5033e
strategy: replace old \tip... macros
article.tex