chiark / gitweb /
strategy: introduce \condproof
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 14 Jul 2012 01:50:50 +0000 (02:50 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 14 Jul 2012 01:50:50 +0000 (02:50 +0100)
commit517384538f93dd1d19e65f86836298c377fa04ec
treeadddff37fcba8eedb71c717f0f473c565579edb3
parent6acc075683cfa3f115ac30a0129a6f7081f71885
strategy: introduce \condproof
article.tex
traversal.tex