chiark / gitweb /
introduce \proofstarts
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 6 Mar 2012 17:16:58 +0000 (17:16 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 6 Mar 2012 17:16:58 +0000 (17:16 +0000)
commit2af3a4453d3b0ad5dcd7b5014486ff927b0cdf52
tree85a0d3602e9e44ab56ee9b11a19fbf2ebf939c94
parentf627166bfcc401287564e9bc7fdc94a72d2d5f1a
introduce \proofstarts
article.tex